3130 search results - page 216 / 626 » Design Correctness of Digital Systems |
135
click to vote
ATAL
2003
Springer
15 years 9 months ago
2003
Springer
Commitments model important aspects of agent interactions, especially those arising in e-business. A small number of patterns of commitments accommodate a variety of realistic int...
141
click to vote
ICCAD
2002
IEEE
15 years 9 months ago
2002
IEEE
Shrinking process geometries and the increasing use of IP components in SoC designs give rise to new problems in routing and buffer insertion. A particular concern is that cross-c...
130
click to vote
PRDC
2002
IEEE
15 years 9 months ago
2002
IEEE
In this paper, we present a consensus algorithm for synchronous distributed systems using cooperating mobile agents. The algorithm is designed within a framework for mobile agent ...
125
click to vote
DMS
2008
15 years 5 months ago
2008
Large shipyards for gigantic cruise ships require a special attention to safety due to the huge number of workers involved and to the complex structure of spaces. A critical issue...
140
click to vote
DKE
1998
15 years 4 months ago
1998
The issues of schema evolution and temporal object models are generally considered to be orthogonal and are handled independently. However, to properly model applications that nee...