1297 search results - page 49 / 260 » Control of systems integrating logic, dynamics, and constrai... |
106
click to vote
PTS
1998
15 years 2 months ago
1998
Based on the notion of event-based behavioral abstraction EBBA we specify properties of object-oriented distributed systems in linear time temporal logic. These properties are the...
149
click to vote
SACMAT
2009
ACM
15 years 7 months ago
2009
ACM
An access control system is often viewed as a state transition system. Given a set of access control policies, a general safety requirement in such a system is to determine whethe...
130
click to vote
HYBRID
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. The use of algorithmic verification and synthesis tools for hybrid systems is currently limited to systems exhibiting simple continuous dynamics such as timed automata o...
100
click to vote
IEEEPACT
2002
IEEE
15 years 6 months ago
2002
IEEE
Energy efficiency in microarchitectures has become a necessity. Significant dynamic energy savings can be realized for adaptive storage structures such as caches, issue queues, ...
130
click to vote
VTC
2010
IEEE
14 years 11 months ago
2010
IEEE
1The classic Dynamic Source Routing (DSR) protocol opts for the route requiring the lowest number of hops for transmitting data from the source to the destination. However, owing t...