2838 search results - page 123 / 568 » Verifying Controlled Components |
125
click to vote
ZUM
1998
Springer
15 years 5 months ago
1998
Springer
Abstract. We present a new combination CSP-OZ-DC of three well researched formal techniques for the specification of processes, data and time: CSP [17], Object-Z [36], and Duration...
92
Voted
HYBRID
2007
Springer
15 years 4 months ago
2007
Springer
A notion of diagnosability for hybrid systems is defined, which generalizes the notion of observability. We verify bility properties on a timed automaton abstraction of the origina...
84
Voted
AROBOTS
2004
15 years 21 days ago
2004
In this paper, we present discrete-time, nonspatial, macroscopic models able to capture the dynamics of collective aggregation experiments using groups of embodied agents endowed ...
114
Voted
ICIP
2004
IEEE
16 years 2 months ago
2004
IEEE
This paper presents an authentication scheme and an access control scheme for JPEG2000 image codestreams based on hash chains. Both schemes are fully compatible with the core part...
73
Voted
SMC
2007
IEEE
15 years 7 months ago
2007
IEEE
—It is desirable that colony robots be autonomous and self-sufficient, which requires that they can perform their duties while maintaining enough energy to operate. In previous w...