4434 search results - page 288 / 887 » On the Composition of Hybrid Systems |
137
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, we propose a file naming scheme, called HK (Hierarchical-Keyword-based) naming. In file systems, hierarchical naming has been used for these several decades. As t...
176
click to vote
HYBRID
2009
Springer
15 years 10 months ago
2009
Springer
This paper proposes a distributed coordination algorithm for robotic sensor networks to detect boundaries that separate areas of abrupt change of spatial phenomena. We consider an ...
172
click to vote
CODES
2007
IEEE
16 years 1 months ago
2007
IEEE
Compositional approaches to system-level performance analysis have shown great flexibility and scalability in the design of heterogeneous systems. These approaches often assume c...
194
click to vote
OTM
2005
Springer
16 years 4 days ago
2005
Springer
This paper presents a formal notation for modelling asynchronous web services composition, using context and coordination mechanisms. Our notation specifies the messages that can b...
177
click to vote
CDC
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper is a response to requests from several respected colleagues in academia for a careful writeup of the classical time-optimal control based hybrid controllers that we have...