2637 search results - page 404 / 528 » Tool Supported Specification and Simulation of Distributed S... |
131
click to vote
COOPIS
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract. Filtered delivery model of message passing in an objectoriented distributed computing environment facilitates separation of message control from message processing in a t...
181
click to vote
CIA
1998
Springer
15 years 10 months ago
1998
Springer
A key lesson learned from economic and game theory research is that negotiation protocols have substantial, rippling effects on the overall nature of the system. online auctions a...
163
click to vote
TAICPART
2006
IEEE
16 years 9 days ago
2006
IEEE
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
164
click to vote
IPPS
1998
IEEE
15 years 10 months ago
1998
IEEE
In this paper we extend a previously introduced method for optimizing the arbitration policy employed by ServerNet routers and we evaluate the method's effect on scalability....
156
click to vote
DOLAP
2006
ACM
16 years 8 days ago
2006
ACM
In order to be able to evaluate beforehand the impact of a strategical or tactical move, decision makers need reliable previsional systems. What-if analysis satisfies this need b...