4434 search results - page 223 / 887 » On the Composition of Hybrid Systems |
156
click to vote
CAISE
1999
Springer
15 years 10 months ago
1999
Springer
Software composition is critical for building large-scale applications. In this paper, we consider the composition of components that are methods offered by heterogeneous, autonomo...
154
click to vote
APWEB
2006
Springer
15 years 10 months ago
2006
Springer
Reactivity, the ability to detect events and respond to them automatically through reactive programs, is a key requirement in many present-day information systems. Work on Web Serv...
204
click to vote
FM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Explicit state methods have proven useful in verifying safetycritical systems containing concurrent processes that run asynchronously and communicate. Such methods consis...
197
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
Manufacturing companies that are expanding their product offering to cover also lifecycle services in the customers’ facilities are facing the increasing complexity and risk to ...
154
click to vote
ICMCS
2005
IEEE
16 years 4 days ago
2005
IEEE
We present a hybrid speaker tracking scheme based on a single pan/tilt/zoom (PTZ) camera in an automated lecture capturing system. Given that the camera’s video resolution is hi...