3082 search results - page 388 / 617 » Deviation Analysis: A New Use of Model Checking |
159
click to vote
WSC
1998
15 years 7 months ago
1998
This paper explores the use of discrete-event simulation for the design and control of physical protection systems for fixed-site facilities housing items of significant value. It...
185
click to vote
TPDS
1998
15 years 6 months ago
1998
This paper presents a new compiler optimization algorithm that parallelizes applications for symmetric, sharedmemory multiprocessors. The algorithm considers data locality, parall...
169
click to vote
ATAL
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. Commitments play a central role in multi-agent coordination. However, they are inherently uncertain and it is important to take these uncertainties into account during pl...
208
click to vote
BIS
2009
15 years 7 months ago
2009
Abstract. The quality of today's digital maps is very high. This allows for new functionality as illustrated by modern car navigation systems (e.g., TomTom, Garmin, etc.), Goo...
181
click to vote
RECSYS
2010
ACM
15 years 6 months ago
2010
ACM
Social network analysis has attracted increasing attention in recent years. In many social networks, besides friendship links amongst users, the phenomenon of users associating th...