Search

Your search keyword '"Honiden, Shinichi"' showing total 580 results
Start Over Author "Honiden, Shinichi"
580 results on '"Honiden, Shinichi"'

1. Towards Enhancing Driver’s Perceived Safety in Autonomous Driving: A Shield-Based Approach

Author

Abe, Ryotaro, Cai, Jinyu, Wang, Tianchen, Li, Jialong, Honiden, Shinichi, Tei, Kenji, Kacprzyk, Janusz, Series Editor, Gomide, Fernando, Advisory Editor, Kaynak, Okyay, Advisory Editor, Liu, Derong, Advisory Editor, Pedrycz, Witold, Advisory Editor, Polycarpou, Marios M., Advisory Editor, Rudas, Imre J., Advisory Editor, Wang, Jun, Advisory Editor, Abraham, Ajith, editor, Bajaj, Anu, editor, Hanne, Thomas, editor, Siarry, Patrick, editor, and Ma, Kun, editor

Published
2024
Full Text
View/download PDF

2. A Meta Reinforcement Learning-based Approach for Self-Adaptive System

Author

Zhang, Mingyue, Li, Jialong, Zhao, Haiyan, Tei, Kenji, Honiden, Shinichi, and Jin, Zhi

Subjects
Computer Science - Software Engineering, Computer Science - Robotics
Abstract

A self-learning adaptive system (SLAS) uses machine learning to enable and enhance its adaptability. Such systems are expected to perform well in dynamic situations. For learning high-performance adaptation policy, some assumptions must be made on the environment-system dynamics when information about the real situation is incomplete. However, these assumptions cannot be expected to be always correct, and yet it is difficult to enumerate all possible assumptions. This leads to the problem of incomplete-information learning. We consider this problem as multiple model problem in terms of finding the adaptation policy that can cope with multiple models of environment-system dynamics. This paper proposes a novel approach to engineering the online adaptation of SLAS. It separates three concerns that are related to the adaptation policy and presents the modeling and synthesis process, with the goal of achieving higher model construction efficiency. In addition, it designs a meta-reinforcement learning algorithm for learning the meta policy over the multiple models, so that the meta policy can quickly adapt to the real environment-system dynamics. At last, it reports the case study on a robotic system to evaluate the adaptability of the approach., Comment: 11 pages, 2nd IEEE International Conference on Autonomic Computing and Self-Organizing Systems - ACSOS 2021

Published
2021

3. Identifying Achievable Goals for Adaptive Replanning Against Runtime Environment Change

Author

Li, Jialong, Tei, Kenji, Honiden, Shinichi, Kacprzyk, Janusz, Series Editor, Pal, Nikhil R., Advisory Editor, Bello Perez, Rafael, Advisory Editor, Corchado, Emilio S., Advisory Editor, Hagras, Hani, Advisory Editor, Kóczy, László T., Advisory Editor, Kreinovich, Vladik, Advisory Editor, Lin, Chin-Teng, Advisory Editor, Lu, Jie, Advisory Editor, Melin, Patricia, Advisory Editor, Nedjah, Nadia, Advisory Editor, Nguyen, Ngoc Thanh, Advisory Editor, Wang, Jun, Advisory Editor, Abraham, Ajith, editor, Piuri, Vincenzo, editor, Gandhi, Niketa, editor, Siarry, Patrick, editor, Kaklauskas, Arturas, editor, and Madureira, Ana, editor

Published
2021
Full Text
View/download PDF

5. A Scalable Distributed Architecture for Network- and QoS-aware Service Composition

Author

Klein, Adrian, Ishikawa, Fuyuki, and Honiden, Shinichi

Subjects
Computer Science - Distributed, Parallel, and Cluster Computing
Abstract

Service-Oriented Computing (SOC) enables the composition of loosely coupled service agents provided with varying Quality of Service (QoS) levels, effectively forming a multiagent system (MAS). Selecting a (near-)optimal set of services for a composition in terms of QoS is crucial when many functionally equivalent services are available. As the number of distributed services, especially in the cloud, is rising rapidly, the impact of the network on the QoS keeps increasing. Despite this and opposed to most MAS approaches, current service approaches depend on a centralized architecture which cannot adapt to the network. Thus, we propose a scalable distributed architecture composed of a flexible number of distributed control nodes. Our architecture requires no changes to existing services and adapts from a centralized to a completely distributed realization by adding control nodes as needed. Also, we propose an extended QoS aggregation algorithm that allows to accurately estimate network QoS. Finally, we evaluate the benefits and optimality of our architecture in a distributed environment., Comment: 8 pages, 12 figures. This paper has been accepted and published at the 3rd International Joint Agent Workshop and Symposium (IJAWS) 2012, Kakegawa, Shizuoka, Japan, October 2012. This version has been copy-edited for publication at arXiv.org, but left unchanged besides. Refer to http://www.adrianobits.de for the original submission in the IJAWS format

Published
2013

6. Towards Refinement Strategy Planning for Event-B

Author

Kobayashi, Tsutomu and Honiden, Shinichi

Subjects
Computer Science - Software Engineering
Abstract

Event-B is a formal approach oriented to system modeling and analysis. It supports refinement mechanism that enables stepwise modeling and verification of a system. By using refinement, the complexity of verification can be spread and mitigated. In common development using Event-B, a specification written in a natural language is examined before modeling in order to plan the modeling and refinement strategy. After that, starting from a simple abstract model, concrete models in several different abstraction levels are constructed by gradually introducing complex structures and concepts. Although users of Event-B have to plan how to abstract the specification for the construction of each model, guidelines for such a planning have not been suggested. Specifically, some elements in a model often require that other elements are included in the model because of semantics constraints of Event-B. As such requirements introduces many elements at once, non-experts of Event-B often make refinement rough though rough refinement does not mitigate the complexity of verification well. In response to the problem, a method is proposed to plan what models are constructed in each abstraction level. The method calculates plans that mitigate the complexity well considering the semantics constraints of Event-B and the relationships between elements in a system., Comment: In Proceedings of DS-Event-B 2012: Workshop on the experience of and advances in developing dependable systems in Event-B, in conjunction with ICFEM 2012 - Kyoto, Japan, November 13, 2012

Published
2012

7. Poplar: A Java Extension for Evolvable Component Integration

Author

Nyström-Persson, Johan and Honiden, Shinichi

Subjects
Computer Science - Programming Languages, Computer Science - Software Engineering, D.3.3
Abstract

The Java programming language contains many features that aid component-based software development (CBSD), such as interfaces, visibility levels, and strong support for encapsulation. However, component evolution often causes so-called breaking changes, largely because of the rigidity of component interconnections in the form of explicit method calls and field accesses. We present a Java extension, Poplar, which we are currently developing. In Poplar, inter-component dependencies are expressed using declarative queries; concrete linking code, generated using a planning algorithm, replaces these at compile time. Poplar includes a minimal specification language based on typestate-like protocols and labels, and a lightweight effect system, which ensures the absence of unwanted interference between hand-written code and generated code. We give several examples of fully automatic component integration using Poplar, and demonstrate its potential to simplify object-oriented software development greatly through evolvable and statically checkable integration links., Comment: 17 pages. Corrected typos

Published
2011

10. Construction of Abstract State Graphs for Understanding Event-B Models

Author

Morita, Daichi, Ishikawa, Fuyuki, Honiden, Shinichi, 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, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Larsen, Kim Guldstrand, editor, Sokolsky, Oleg, editor, and Wang, Ji, editor

Published
2017
Full Text
View/download PDF

11. Test Suite Reduction in Idempotence Testing of Infrastructure as Code

Author

Ikeshita, Katsuhiko, Ishikawa, Fuyuki, Honiden, Shinichi, 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, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Gabmeyer, Sebastian, editor, and Johnsen, Einar Broch, editor

Published
2017
Full Text
View/download PDF

15. Refactoring Refinement Structure of Event-B Machines

Author

Kobayashi, Tsutomu, Ishikawa, Fuyuki, Honiden, Shinichi, 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, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Fitzgerald, John, editor, Heitmeyer, Constance, editor, Gnesi, Stefania, editor, and Philippou, Anna, editor

Published
2016
Full Text
View/download PDF

16. Automatic Generation of Potentially Pathological Instances for Validating Alloy Models

Author

Saeki, Takaya, Ishikawa, Fuyuki, Honiden, Shinichi, 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, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Ogata, Kazuhiro, editor, Lawford, Mark, editor, and Liu, Shaoying, editor

Published
2016
Full Text
View/download PDF

17. Stepwise Refinement of Software Development Problem Analysis

Author

Kobayashi, Tsutomu, Ishikawa, Fuyuki, Honiden, Shinichi, 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, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Comyn-Wattiau, Isabelle, editor, Tanaka, Katsumi, editor, Song, Il-Yeol, editor, Yamamoto, Shuichiro, editor, and Saeki, Motoshi, editor

Published
2016
Full Text
View/download PDF

18. Understanding and Planning Event-B Refinement through Primitive Rationales

Author

Kobayashi, Tsutomu, Ishikawa, Fuyuki, Honiden, Shinichi, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Kobsa, Alfred, editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Weikum, Gerhard, editor, Ait Ameur, Yamine, editor, and Schewe, Klaus-Dieter, editor

Published
2014
Full Text
View/download PDF

20. Efficient Neuroevolution for a Quadruped Robot

Author

Shengbo, Xu, Moriguchi, Hirotaka, Honiden, Shinichi, 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, Bui, Lam Thu, editor, Ong, Yew Soon, editor, Hoai, Nguyen Xuan, editor, Ishibuchi, Hisao, editor, and Suganthan, Ponnuthurai Nagaratnam, editor

Published
2012
Full Text
View/download PDF

21. Applying QoS-Aware Service Selection on Functionally Diverse Services

Author

Wagner, Florian, Ishikawa, Fuyuki, Honiden, Shinichi, 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, Pallis, George, editor, Jmaiel, Mohamed, editor, Charfi, Anis, editor, Graupner, Sven, editor, Karabulut, Yücel, editor, Guinea, Sam, editor, Rosenberg, Florian, editor, Sheng, Quan Z., editor, Pautasso, Cesare, editor, and Ben Mokhtar, Sonia, editor

Published
2012
Full Text
View/download PDF

22. Supporting View Transition Design of Smartphone Applications Using Web Templates

Author

Nishiura, Kazuki, Maezawa, Yuta, Ishikawa, Fuyuki, Honiden, Shinichi, 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, Brambilla, Marco, editor, Tokuda, Takehiro, editor, and Tolksdorf, Robert, editor

Published
2012
Full Text
View/download PDF

23. A Framework for Validating Task Assignment in Multiagent Systems Using Requirements Importance

Author

Nakagawa, Hiroyuki, Yoshioka, Nobukazu, Ohsuga, Akihiko, Honiden, Shinichi, 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, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Desai, Nirmit, editor, Liu, Alan, editor, and Winikoff, Michael, editor

Published
2012
Full Text
View/download PDF

24. Utility-Based Self-Adaption with Environment Specific Quality Models

Author

Fitzgerald, Camilo, Klöpper, Benjamin, Honiden, Shinichi, 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, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, and Bouchachia, Abdelhamid, editor

Published
2011
Full Text
View/download PDF

28. Service Composition with Pareto-Optimality of Time-Dependent QoS Attributes

Author

Klöpper, Benjamin, Ishikawa, Fuyuki, Honiden, Shinichi, 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, Maglio, Paul P., editor, Weske, Mathias, editor, Yang, Jian, editor, and Fantinato, Marcelo, editor

Published
2010
Full Text
View/download PDF

29. Efficient QoS-Aware Service Composition with a Probabilistic Service Selection Policy

Author

Klein, Adrian, Ishikawa, Fuyuki, Honiden, Shinichi, 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, Maglio, Paul P., editor, Weske, Mathias, editor, Yang, Jian, editor, and Fantinato, Marcelo, editor

Published
2010
Full Text
View/download PDF

30. Approximate Shortest Path Queries Using Voronoi Duals

Author

Honiden, Shinichi, Houle, Michael E., Sommer, Christian, Wolff, Martin, 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, Gavrilova, Marina L., editor, Tan, C. J. Kenneth, editor, and Anton, François, editor

Published
2010
Full Text
View/download PDF

31. Suppressing Redundancy in Wireless Sensor Network Traffic

Author

Abe, Rey, Honiden, Shinichi, 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, Rajaraman, Rajmohan, editor, Moscibroda, Thomas, editor, Dunkels, Adam, editor, and Scaglione, Anna, editor

Published
2010
Full Text
View/download PDF

32. Flexible Bloom Filters for Searching Textual Objects

Author

Sei, Yuichi, Matsuzaki, Kazutaka, Honiden, Shinichi, 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, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Joseph, Samuel R. H., editor, Despotovic, Zoran, editor, Moro, Gianluca, editor, and Bergamaschi, Sonia, editor

Published
2010
Full Text
View/download PDF

33. What Top-Level Software Engineers Tackle after Learning Formal Methods: Experiences from the Top SE Project

Author

Ishikawa, Fuyuki, Taguchi, Kenji, Yoshioka, Nobukazu, Honiden, Shinichi, 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, Gibbons, Jeremy, editor, and Oliveira, José Nuno, editor

Published
2009
Full Text
View/download PDF

39. Challenges for Exception Handling in Multi-Agent Systems

Author

Platon, Eric, Sabouret, Nicolas, Honiden, Shinichi, 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, Choren, Ricardo, editor, Garcia, Alessandro, editor, Giese, Holger, editor, Leung, Ho-fung, editor, Lucena, Carlos, editor, and Romanovsky, Alexander, editor

Published
2007
Full Text
View/download PDF

41. Managing Difference-Based Objects with Sub-networks in Peer-to-Peer Environments

Author

Fukuchi, Daisuke, Sei, Yuichi, Honiden, Shinichi, 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, Meersman, Robert, editor, Tari, Zahir, editor, and Herrero, Pilar, editor

Published
2007
Full Text
View/download PDF

42. Agreements and Policies in Cooperative Mobile Agents: Formalization and Implementation

Author

Ishikawa, Fuyuki, Yoshioka, Nobukazu, Honiden, Shinichi, 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, Meersman, Robert, editor, and Tari, Zahir, editor

Published
2007
Full Text
View/download PDF

43. Resilient Security for False Event Detection Without Loss of Legitimate Events in Wireless Sensor Networks

Author

Sei, Yuichi, Honiden, Shinichi, 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, Meersman, Robert, editor, and Tari, Zahir, editor

Published
2007
Full Text
View/download PDF

44. Efficient Model Checking of Applications with Input/Output

Author

Artho, Cyrille, Zweimüller, Boris, Biere, Armin, Shibayama, Etsuya, Honiden, Shinichi, 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, Moreno Díaz, Roberto, editor, Pichler, Franz, editor, and Quesada Arencibia, Alexis, editor

Published
2007
Full Text
View/download PDF

46. Exhaustive Testing of Exception Handlers with Enforcer

Author

Artho, Cyrille, Biere, Armin, Honiden, Shinichi, 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, de Boer, Frank S., editor, Bonsangue, Marcello M., editor, Graf, Susanne, editor, and de Roever, Willem-Paul, editor

Published
2007
Full Text
View/download PDF

48. A Modeling Framework for Generic Agent Interaction Protocols

Author

Quenum, José Ghislain, Aknine, Samir, Briot, Jean-Pierre, Honiden, Shinichi, 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, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Baldoni, Matteo, editor, and Endriss, Ulle, editor

Published
2006
Full Text
View/download PDF

49. Enforcer – Efficient Failure Injection

Author

Artho, Cyrille, Biere, Armin, Honiden, Shinichi, 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, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Misra, Jayadev, editor, Nipkow, Tobias, editor, and Sekerinski, Emil, editor

Published
2006
Full Text
View/download PDF

50. Pheromone Model: Application to Traffic Congestion Prediction

Author

Ando, Yasushi, Masutani, Osamu, Sasaki, Hiroshi, Iwasaki, Hirotoshi, Fukazawa, Yoshiaki, Honiden, Shinichi, 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, Dough, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Brueckner, Sven A., editor, Di Marzo Serugendo, Giovanna, editor, Hales, David, editor, and Zambonelli, Franco, editor

Published
2006
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results