4434 search results - page 209 / 887 » On the Composition of Hybrid Systems |
161
click to vote
LOGCOM
2006
15 years 6 months ago
2006
Hybrid logics are a principled generalization of both modal logics and description logics. It is well-known that various hybrid logics without binders are decidable, but decision p...
173
click to vote
ICSE
2004
IEEE-ACM
15 years 12 months ago
2004
IEEE-ACM
Abstract. Today's wireless networks and devices support the dynamic composition of mobile distributed systems according to networked services and re
152
click to vote
SEKE
1995
Springer
15 years 10 months ago
1995
Springer
This paper argues for new computational mechanisms to aid specification of requirements for composite systems. It presents mechanisms for storing specification fragments, or viewp...
220
click to vote
KRMED
2008
15 years 8 months ago
2008
In this paper a description is presented in which the architectural, lexical and mapping differences are foregrounded between two compositional systems, both operating in the heal...
167
click to vote
WICSA
2004
15 years 7 months ago
2004
Today's wireless networks and devices support the dynamic composition of mobile distributed systems, according to device connectivity. This has in particular led to the