505 search results - page 60 / 101 » Implementation of Belief Change Operators Using BDDs |
ICAC
2008
IEEE
15 years 4 months ago
2008
IEEE
Recently, industry has begun investigating and moving towards utility computing, where computational resources (processing, memory and I/O) are availably on demand at a market cos...
ICWS
2008
IEEE
14 years 11 months ago
2008
IEEE
The dependability of composite services is largely affected by their constituent Web services. Composite services have to operate in an open and dynamically changing environment i...
BNCOD
1997
14 years 11 months ago
1997
With the substantial change of declarative query languages from plain SQL to the so-called \object SQLs", in particular OQL, there has surprisingly been not much change in the...
PLDI
2009
ACM
15 years 4 months ago
2009
ACM
Decentralized information flow control (DIFC) is a promising model for writing programs with powerful, end-to-end security guarantees. Current DIFC systems that run on commodity ...
ASPLOS
1994
ACM
15 years 1 months ago
1994
ACM
Synchronization algorithms that are efficient across a wide range of applications and operating conditions are hard to design because their performance depends on unpredictable ru...