9166 search results - page 1454 / 1834 » A framework for comparing models of computation |
158
click to vote
IPPS
2005
IEEE
16 years 11 days ago
2005
IEEE
Peer-to-Peer (P2P) computing has become a popular application model because of its easy resource sharing pattern and powerful query search scheme. However, decentralized P2P archi...
205
click to vote
SI3D
2005
ACM
16 years 10 days ago
2005
ACM
We present a simple yet effective snapping technique for constraining the motion of the cursor of an input device to the surface of 3D models whose geometry is arbitrarily deforme...
175
click to vote
CHARME
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. We propose a new saturation-based symbolic state-space generation algorithm for finite discrete-state systems. Based on the structure of the high-level model specificat...
211
click to vote
SSD
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Evacuation planning is critical for numerous important applications, e.g. disaster emergency management and homeland defense preparation. Efficient tools are needed to pr...
163
click to vote
GRID
2004
Springer
16 years 5 days ago
2004
Springer
The SOAP protocol underpins Web services as the standard mechanism for exchanging information in a distributed environment. The XML-based protocol offers advantages including exte...