405 search results - page 50 / 81 » Open Systems Formal Evaluation Process |
ICDCS
2010
IEEE
14 years 11 months 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 3 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...
116
Voted
SACMAT
2010
ACM
15 years 3 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
14 years 10 months 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...
TPDS
2008
14 years 10 months 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...