8587 search results - page 226 / 1718 » Interactive dynamic abstraction |
145
click to vote
CONCUR
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. For many cryptographic protocols, security relies on the assumption that adversarial entities have limited computational power. This type of security degrades progressive...
155
click to vote
DAGSTUHL
2007
15 years 7 months ago
2007
Abstract. In open and heterogeneous environments offered by the Internet, where agents are designed by different vendors, the development of standards for agent communication nee...
178
click to vote
AUTOMATICA
2008
15 years 5 months ago
2008
Control systems are usually modeled by differential equations describing how physical phenomena can be influenced by certain control parameters or inputs. Although these models ar...
163
Voted
JGTOOLS
2008
15 years 5 months ago
2008
Abstract. We explore the implications of reversing the process of shadow computation for real-time applications that model complex reflectance and lighting (such as that specified ...
130
click to vote
ENTCS
2007
15 years 5 months ago
2007
This article presents a component verification platform called Vercors providing means to analyse the behaviour properties of applications built from distributed components. From...