3624 search results - page 519 / 725 » Abstract Algebraic Logic |
166
Voted
RTSS
2005
IEEE
16 years 21 days ago
2005
IEEE
The periodic resource model for hierarchical, compositional scheduling abstracts task groups by resource requirements. We study this model in the presence of dataflow constraints...
220
click to vote
CCS
2005
ACM
16 years 20 days ago
2005
ACM
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...
195
Voted
ISCAS
2003
IEEE
16 years 12 days ago
2003
IEEE
To handle today’s complexity, modern circuits and systems be specified at a high level of abstraction. Recently, SystemC has been proposed as a language that allows a fast on o...
233
click to vote
FASE
2003
Springer
16 years 10 days ago
2003
Springer
Abstract. The OMG’s Model-Driven Architecture focusses on the evolution and integration of applications across heterogeneous middleware platforms. Presently available instances o...
215
click to vote
HYBRID
2003
Springer
16 years 10 days 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...