1980 search results - page 114 / 396 » Compositional Model Checking of Real Time Systems |
103
click to vote
ADAEUROPE
2008
Springer
15 years 3 months ago
2008
Springer
The Ravenscar profile for Ada enforces several restrictions on the usage of general-purpose tasking constructs, thereby facilitating most analysis tasks and in particular functiona...
122
click to vote
FM
2001
Springer
15 years 6 months ago
2001
Springer
Classical logic cannot be used to effectively reason about systems with uncertainty (lack of essential information) or inconsistency (contradictory information often occurring when...
147
click to vote
RTCSA
2003
IEEE
15 years 7 months ago
2003
IEEE
Despite Java’s initial promise of providing a reliable and cost-effective platform-independent environment, the language appears to be unfavourable in the area of high-integrity...
141
Voted
CCS
2008
ACM
15 years 3 months ago
2008
ACM
We propose an approach for the selective enforcement of access control restrictions in, possibly distributed, large data collections based on two basic concepts: i) flexible autho...
113
click to vote
ICRA
2002
IEEE
15 years 6 months ago
2002
IEEE
Abstract— This paper presents some recent developments of the LAAS architecture for autonomous mobile robots. In particular, we specify the role of the Execution Control level of...