Sciweavers

1965 search results - page 139 / 393
» On the analysis of interacting pushdown systems
Sort
View
KI
2007
Springer
16 years 9 days ago
On Constructing a Communicative Space in HRI
Abstract. Interaction means to share a communicative space with others. Social interactions are reciprocally-oriented activities among currently present partners. An artificial sy...
Claudia Muhl, Yukie Nagai, Gerhard Sagerer
ICSE
2000
IEEE-ACM
15 years 9 months ago
Towards a taxonomy of software connectors
Software systems of today are frequently composed from prefabricated, heterogeneous components that provide complex functionality and engage in complex interactions. Existing rese...
Nikunj R. Mehta, Nenad Medvidovic, Sandeep Phadke
FMOODS
2003
15 years 7 months ago
Design and Verification of Distributed Multi-media Systems
Performance analysis of computing systems, in particular distributed computing systems, is a complex process. Analysing the complex flows and interactions between a set of distribu...
David H. Akehurst, John Derrick, A. Gill Waters
NSDI
2004
15 years 7 months ago
Path-Based Failure and Evolution Management
We present a new approach to managing failures and evolution in large, complex distributed systems using runtime paths. We use the paths that requests follow as e through the syst...
Mike Y. Chen, Anthony Accardi, Emre Kiciman, David...
APWEB
2005
Springer
15 years 11 months ago
Collaborative Web Application for Flood Control System of Reservoirs
Flood control for reservoirs require operations in a dynamic and cooperative manner in order to respond to the changing flood control conditions. There is an increasing emphasis on...
Chuntian Cheng, Kwok-wing Chau, Gang Li, Xiang-Yan...