405 search results - page 50 / 81 » Open Systems Formal Evaluation Process |
104
click to vote
ICDCS
2010
IEEE
15 years 21 days ago
2010
IEEE
—Large-scale distributed cyber-physical systems will have many sensors/actuators (each with local micro-controllers), and a distributed communication/computing backbone with mult...
AINA
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—A geolocalised system generally belongs to an individual and as such knowing its location reveals the location of its owner, which is a direct threat against his privacy...
133
Voted
SACMAT
2010
ACM
15 years 5 months ago
2010
ACM
We show the practical feasibility of monitoring complex security properties using a runtime monitoring approach for metric first-order temporal logic. In particular, we show how ...
IJES
2006
15 years 15 days ago
2006
Embedded real-time systems must satisfy not only logical functional requirements but also para-functional properties such as timeliness, Quality of Service (QoS) and reliability. W...
120
Voted
TPDS
2008
15 years 12 days ago
2008
Recent technological advances have opened up a wide range of distributed real-time applications involving battery-driven embedded devices with local processing and wireless communi...