2123 search results - page 68 / 425 » Composition of Cyber-Physical Systems |
136
Voted
ICFP
2001
ACM
16 years 4 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...
131
click to vote
IEEESCC
2007
IEEE
15 years 10 months 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...
135
click to vote
ISORC
2009
IEEE
15 years 10 months 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...
141
click to vote
ICSOC
2007
Springer
15 years 10 months 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...
130
Voted
CBSE
2007
Springer
15 years 10 months 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...