10038 search results - page 628 / 2008 » Model Checking for Managers |
187
Voted
CGF
1999
15 years 7 months ago
1999
We describe an approach for interactive collision detection and proximity computations on massive models composed of millions of geometric primitives. We address issues related to...
180
Voted
MOBIQUITOUS
2005
IEEE
16 years 26 days ago
2005
IEEE
Ubiquitous Computing Environments feature massively distributed systems containing a large number of devices, services and applications that help end-users perform various kinds o...
199
Voted
SIGMETRICS
2005
ACM
16 years 26 days ago
2005
ACM
The growing cost of tuning and managing computer systems is leading to out-sourcing of commercial services to hosting centers. These centers provision thousands of dense servers w...
200
click to vote
ATAL
2005
Springer
16 years 25 days ago
2005
Springer
Emergent processes are non-routine, collaborative business processes whose execution is guided by the knowledge that emerges during a process instance. In so far as the process go...
237
Voted
BTW
2005
Springer
16 years 25 days ago
2005
Springer
Abstract: Peer data management systems (PDMS) are the natural extension of integrated information systems. Conventionally, a single integrating system manages an integrated schema,...