652 search results - page 105 / 131 » A simulation framework for service-oriented computing system... |
131
click to vote
CORR
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent...
STTT
1998
14 years 11 months ago
1998
Abstract. Coloured Petri nets (CP-nets or CPNs) provide a framework for the design, specification, validation, and verification of systems. CP-nets have a wide range of applicati...
105
click to vote
WACV
2007
IEEE
15 years 6 months ago
2007
IEEE
We propose a novel framework for 3D reassembly, the task of assembling a solid object from its broken pieces. The primary challenge in this under-explored problem is to robustly e...
103
click to vote
ICPADS
2006
IEEE
15 years 5 months ago
2006
IEEE
A decentralized game theoretic framework applied to Web caching is discussed. The interaction of multiple clients with a caching server is modeled as a non-cooperative game, in wh...
106
click to vote
INFOCOM
2003
IEEE
15 years 5 months ago
2003
IEEE
—On-demand routing reduces the control overhead in mobile ad hoc networks, but it has the major drawback of introducing latency between route-request arrival and the determinatio...