1268 search results - page 81 / 254 » Verifying distributed systems: the operational approach |
175
click to vote
ISIPTA
2005
IEEE
15 years 11 months ago
2005
IEEE
Uncertainty is a key issue in decision analysis and other kinds of applications. Researchers have developed a number of approaches to address computations on uncertain quantities....
237
click to vote
IROS
2006
IEEE
16 years 5 days ago
2006
IEEE
— This paper describes our efforts in building an experimental platform to conduct research on cooperative driving in Intelligent Transportation Systems (ITS). A miniature vehicl...
181
click to vote
CACM
1999
15 years 5 months ago
1999
ion suffices ("decide which type you want and provide a full set of operations for each type"). If the application domain is, say, the administration of a university, the...
172
click to vote
JIIS
1998
15 years 5 months ago
1998
Knowledge Discovery in Databases (KDD) focuses on the computerized exploration of large amounts of data and on the discovery of interesting patterns within them. While most work on...
140
click to vote
IPPS
2006
IEEE
16 years 5 days ago
2006
IEEE
Internet sharing systems aim at federating and utilizing distributed computing resources across the Internet. This paper presents a user-level virtual machine (VM) approach to MPI...