432 search results - page 36 / 87 » Interaction Abstraction for Compositional Finite State Syste... |
ICWS
2009
IEEE
14 years 4 months ago
2009
IEEE
Analyzing interactions among peers that interact via messages is a crucial problem due to increasingly distributed nature of current software systems, especially the ones built us...
QSIC
2007
IEEE
14 years 1 months ago
2007
IEEE
The advanced electric power grid is a complex real-time system having both Cyber and Physical components. While each component may function correctly, independently, their composi...
IFIPTCS
2000
13 years 11 months ago
2000
Abstract The sos formats ensuring that bisimilarity is a congruence often fail in the presence of structural axioms on the algebra of states. Dynamic bisimulation, introduced to ch...
WWW
2005
ACM
14 years 8 months ago
2005
ACM
The recent evolution of Internet, driven by the Web services technology, is extending the role of the Web from a support of information interaction to a middleware for B2B interac...
KI
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. The demand for humanoid robots as service robots for everyday life has increased during the last years. The processing power of the hardware and the development of comple...