1413 search results - page 100 / 283 » A new condensation principle |
CORR
2011
Springer
13 years 5 months ago
2011
Springer
Pervasive computing appears like a new computing era based on networks of objects and devices evolving in a real world, radically different from distributed computing, based on ne...
IWMM
2011
Springer
13 years 1 months ago
2011
Springer
The goal of cache management is to maximize data reuse. Collaborative caching provides an interface for software to communicate access information to hardware. In theory, it can o...
POPL
2012
ACM
12 years 5 months ago
2012
ACM
Separation Logic has witnessed tremendous success in recent years in reasoning about programs that deal with heap storage. Its success owes to the fundamental principle that one s...
TPHOL
2009
IEEE
14 years 5 months ago
2009
IEEE
A new logic is posited for the widely used HOL theorem prover, as an extension of the existing higher order logic of the HOL4 system. The logic is extended to three levels, adding ...
JECR
2000
13 years 10 months ago
2000
Traditional supply chain management utilized traditional media and channels to link firms in linear, inefficient relationships. The advent of electronic commerce over the Internet...