2930 search results - page 540 / 586 » A Constructive Approach to the Design of Distributed Systems |
ATAL
2009
Springer
15 years 5 months ago
2009
Springer
While there has been much work on developing frameworks and models of norms and normative systems, consideration of the impact of norms on the practical reasoning of agents has at...
130
click to vote
CSFW
2009
IEEE
15 years 5 months ago
2009
IEEE
We present the design and implementation of a compiler that, given high-level multiparty session descriptions, generates custom cryptographic protocols. Our sessions specify pre-a...
104
click to vote
ECML
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Designs of micro electro-mechanical devices need to be robust against fluctuations in mass production. Computer experiments with tens of parameters are used to explore th...
135
click to vote
APAQS
2001
IEEE
15 years 5 months ago
2001
IEEE
Integration testing has always been a challenge especially if the system under test is large with many subsystems and interfaces. This paper proposes an approach to design End-toE...
151
click to vote
NETWORKING
2004
15 years 2 months ago
2004
Abstract. One of the major issues that affect the performance of Mobile Ad hoc NETworks (MANET) is routing. Recently, position-based routing for MANET is found to be a very promisi...