2123 search results - page 326 / 425 » Composition of Cyber-Physical Systems |
101
Voted
ICCAD
1996
IEEE
15 years 5 months ago
1996
IEEE
We give a denotational framework (a "meta model") within which certain properties of models of computation can be understood and compared. It describes concurrent proces...
104
click to vote
COMPSAC
2007
IEEE
15 years 4 months ago
2007
IEEE
Hardware/software co-verification is becoming an indispensable tool for building highly trustworthy embedded systems. A stumbling block to effective co-verification using model ch...
104
click to vote
ESORICS
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. We consider the problem of efficient key management and user revocation in cryptographic file systems that allow shared access to files. A performanceefficient solution t...
FM
2006
Springer
15 years 4 months ago
2006
Springer
We propose a new look at one of the most fundamental types of behavioral interfaces: discrete time specifications of communication--directly related to the work of de Alfaro and H...
99
Voted
ER
2000
Springer
15 years 4 months ago
2000
Springer
One of the obstacles that hinder database trigger systems from their wide deployment is the lack of tools that aid users in creating trigger rules. Similar to understanding and spe...