4434 search results - page 431 / 887 » On the Composition of Hybrid Systems |
143
click to vote
FROCOS
2005
Springer
16 years 12 days ago
2005
Springer
Interface formalisms are able to model both the input requirements and the output behavior of system components; they support both bottom-up component-based design, and top-down de...
192
click to vote
AUTONOMICS
2007
ACM
15 years 11 months ago
2007
ACM
Self-management is a key feature of autonomic systems. This often demands the dynamic reconfiguration of a distributed application. An important issue in the reconfiguration proce...
198
click to vote
CSFW
2004
IEEE
15 years 10 months ago
2004
IEEE
Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protocol environ...
154
click to vote
HCI
2007
15 years 8 months ago
2007
In this paper we present a stable automatic system for image composition, which can well control the color difference between two images, and produce a seamless composite image wit...
194
click to vote
JSW
2007
15 years 6 months ago
2007
— The usual scenario of service oriented systems is characterized by several services offering the same functionalities, by new services that are continuosly deployed and by othe...