2123 search results - page 268 / 425 » Composition of Cyber-Physical Systems |
184
click to vote
CODES
1996
IEEE
15 years 10 months ago
1996
IEEE
The design of multi-dimensional systems using hardware/software codesign allows a significant improvement in the development cycle. This paper presents a technique that enables a ...
154
click to vote
SIGCOMM
1996
ACM
15 years 10 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...
170
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...
156
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...
172
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...