588 search results - page 70 / 118 » Differential Logic for Reasoning About Hybrid Systems |
123
Voted
CADE
2009
Springer
16 years 2 months ago
2009
Springer
Scalable handling of real arithmetic is a crucial part of the verification of hybrid systems, mathematical algorithms, and mixed analog/digital circuits. Despite substantial advanc...
127
click to vote
ECBS
2008
IEEE
15 years 3 months ago
2008
IEEE
Large and complex software systems require expressive notations for representing their software architecture. In this context Architecture Description Languages (ADLs) can be used...
119
Voted
SASO
2010
IEEE
14 years 11 months ago
2010
IEEE
In an open distributed system, computational resources are peer-owned, and distributed over time and space. The fact that these resources can dynamically join or leave the system (...
117
click to vote
WWW
2006
ACM
15 years 7 months ago
2006
ACM
A Service oriented system emerges from composition of services. Dynamically composed reactive Web services form a special class of service oriented system, where the delays associ...
JOLLI
2006
15 years 1 months ago
2006
Abstract. Propositional dynamic logic (PDL) provides a natural setting for semantics of means-end relations involving non-determinism, but such models do not include probabilistic ...