4434 search results - page 585 / 887 » On the Composition of Hybrid Systems |
161
click to vote
SIGCOMM
1996
ACM
15 years 11 months ago
1996
ACM
Application-specific safe message handlers (ASHs) are designed to provide applications with hardware-level network performance. ASHs are user-written code fragments that safely an...
171
click to vote
AINA
2006
IEEE
15 years 10 months ago
2006
IEEE
The paper discusses the potential usage of principles from General System Theory (GST) and Cybernetics for design of Autonomic Software. Motivated by the characteristics of open s...
157
click to vote
CEEMAS
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. The notions of role and organization have often been emphasized in several agent oriented methodologies. Sadly, the notion of interaction has seldom been reified in these...
181
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
This paper presents the first type system for statically analyzing security protocols that are based on zero-knowledge proofs. We show how several properties offered by zero-knowl...
167
click to vote
ICWS
2008
IEEE
15 years 8 months ago
2008
IEEE
Today, multimedia system are still widely realized as monolithic systems. But building such applications using Service-Oriented Architectures -- especially for the Processing and ...