4434 search results - page 637 / 887 » On the Composition of Hybrid Systems |
124
click to vote
ACSD
2008
IEEE
16 years 1 months ago
2008
IEEE
PICNIC is a tool for verifying security properties of systems, namely non-interference properties of processes expressed as terms of the π-calculus with two security levels and d...
187
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
Compositional Scheduling Analysis couples local scheduling analysis via event streams. While local analysis has successfully been extended to include hierarchical scheduling strat...
193
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
Modulation forensics is to detect the modulation type in wireless communications without any prior information. It nds both military and civilian applications such as surveillance...
196
click to vote
MMSP
2008
IEEE
16 years 1 months ago
2008
IEEE
—1 The composition of panoramic images has recently received considerable attention. While panoramic images were first used mainly as a flexible visualization technique, they a...
220
click to vote
AIMS
2008
Springer
16 years 1 months ago
2008
Springer
We explore how fixed-point operators can be designed to interact and be composed to form autonomic control mechanisms. We depart from the idea that an operator is idempotent only ...