Search

Your search keyword '"Nakajima, Shin"' showing total 21 results
Start Over Author "Nakajima, Shin" Publisher springer berlin heidelberg
21 results on '"Nakajima, Shin"'

1. Everlasting Challenges with the OBJ Language Family

Author

Nakajima, Shin, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Iida, Shusaku, editor, Meseguer, José, editor, and Ogata, Kazuhiro, editor

Published
2014
Full Text
View/download PDF

2. Applying 'Functional Scenario-Based' Test Case Generation Method in Unit Testing and Integration Testing

Author

Li, Cencen, Li, Mo, Liu, Shaoying, Nakajima, Shin, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Liu, Shaoying, editor

Published
2013
Full Text
View/download PDF

3. Inductive Verification of Hybrid Automata with Strongest Postcondition Calculus

Author

Ishii, Daisuke, Melquiond, Guillaume, Nakajima, Shin, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Johnsen, Einar Broch, editor, and Petre, Luigia, editor

Published
2013
Full Text
View/download PDF

4. Rewriting Logic Approach to Modeling and Analysis of Client Behavior in Open Systems

Author

Nakajima, Shin, Ishiguro, Masaki, Tanaka, Kazuyuki, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Min, Sang Lyul, editor, Pettit, Robert, editor, Puschner, Peter, editor, and Ungerer, Theo, editor

Published
2010
Full Text
View/download PDF

5. Non-clausal Encoding of Feature Diagram for Automated Diagnosis

Author

Nakajima, Shin, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Bosch, Jan, editor, and Lee, Jaejoon, editor

Published
2010
Full Text
View/download PDF

6. Context-Dependent Product Line Practice for Constructing Reliable Embedded Systems

Author

Ubayashi, Naoyasu, Nakajima, Shin, Hirayama, Masayuki, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Bosch, Jan, editor, and Lee, Jaejoon, editor

Published
2010
Full Text
View/download PDF

7. Model-Checking of Safety and Security Aspects in Web Service Flows

Author

Nakajima, Shin, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Koch, Nora, editor, Fraternali, Piero, editor, and Wirsing, Martin, editor

Published
2004
Full Text
View/download PDF

11. Simulating arthroscopic knee surgery using volumetric object representations, real-time volume rendering and haptic feedback

Author

Gibson, Sarah, Samosky, Joe, Mor, Andrew, Fyock, Christina, Grimson, Eric, Kanade, Takeo, Kikinis, Ron, Lauer, Hugh, McKenzie, Neil, Nakajima, Shin, Ohkami, Hide, Osborne, Randy, Sawada, Akira, Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Troccaz, Jocelyne, editor, Grimson, Eric, editor, and Mösges, Ralph, editor

Published
1997
Full Text
View/download PDF

21. Three-dimensional reconstruction and surgical navigation in padiatric epilepsy surgery

Author

Chabrerie, Alexandra, primary, Ozlen, Fatma, additional, Nakajima, Shin, additional, Leventon, Michael, additional, Atsumi, Hideki, additional, Grimson, Eric, additional, Keeve, Erwin, additional, Helmers, Sandra, additional, Riviello, James, additional, Holmes, Gregory, additional, Duffy, Frank, additional, Jolesz, Ferenc, additional, Kikinis, Ron, additional, and Black, Peter, additional

Published
1998
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results