2123 search results - page 40 / 425 » Composition of Cyber-Physical Systems |
107
click to vote
DATE
2005
IEEE
15 years 7 months ago
2005
IEEE
Conventional cache models are not suited for real-time parallel processing because tasks may flush each other’s data out of the cache in an unpredictable manner. In this way th...
ACL
1998
15 years 3 months ago
1998
: The goal of this paper is to provide computable account for some definite descriptions. To this end, we define in terms of inclusion the notion of distinguishing description and ...
ISTA
2004
15 years 3 months ago
2004
: Systems management in any organization depends exclusively on the efforts of a system administrator. Every change in the IT infrastructure landscape requires changes in the syste...
112
click to vote
TCC
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We consider compositional properties of reactive systems that are secure in a cryptographic sense. We follow the well-known simulatability approach of modern cryptography...
114
click to vote
GI
2010
Springer
14 years 12 months ago
2010
Springer
: In this article, it is proven for finite systems that if by reciprocal interaction, one finite system determines the action of another finite system, then both systems become sub...