2123 search results - page 68 / 425 » Composition of Cyber-Physical Systems |
162
click to vote
ICFP
2001
ACM
16 years 6 months ago
2001
ACM
The type systems of most typed functional programming languages are based on the Hindley-Milner type system. A practical problem with these type systems is that it is often hard t...
163
click to vote
IEEESCC
2007
IEEE
16 years 18 days ago
2007
IEEE
Service discovery has been recognised as an important aspect of service oriented computing. This is even more the case when developing service centric systems in which software sy...
160
click to vote
ISORC
2009
IEEE
16 years 28 days ago
2009
IEEE
Complex real-time embedded systems should be compositional and deterministic in the resource, time, and value domains. Determinism eases the engineering of correct systems and com...
178
click to vote
ICSOC
2007
Springer
16 years 13 days ago
2007
Springer
Model checking Web service behaviour has remained limited to checking safety and liveness properties. However when viewed as a multi agent system, the system composition can be ana...
155
click to vote
CBSE
2007
Springer
16 years 14 days ago
2007
Springer
Binary component-based software updates that are efficient, safe and generic still remain a challenge. Most existing deployment systems that achieve this goal have to control the c...