2123 search results - page 340 / 425 » Composition of Cyber-Physical Systems |
135
Voted
AIM
2002
15 years 19 days ago
2002
The Infrastructure of modern society is controlled by software systems. These systems are vulnerable to attacks; several such attacks, launched by "recreation hackers" h...
151
click to vote
KI
2010
Springer
14 years 7 months ago
2010
Springer
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equa...
146
click to vote
EUROCRYPT
2010
Springer
15 years 5 months ago
2010
Springer
In this paper, we present two fully secure functional encryption schemes. Our first result is a fully secure attribute-based encryption (ABE) scheme. Previous constructions of AB...
136
Voted
VIS
2009
IEEE
16 years 2 months ago
2009
IEEE
This paper describes GL4D, an interactive system for visualizing 2-manifolds and 3-manifolds embedded in four Euclidean dimensions and illuminated by 4D light sources. It is a tetr...
98
Voted
WWW
2005
ACM
16 years 1 months ago
2005
ACM
We present a design for verification approach to developing reliable web services. We focus on composite web services which consist of asynchronously communicating peers. Our goal...