1453 search results - page 22 / 291 » State and history in operating systems |
112
click to vote
P2P
2006
IEEE
15 years 6 months ago
2006
IEEE
Content storage in a distributed collaborative environment uses redundancy for better resilience and thus provides good availability and durability. In a peer-to-peer environment,...
106
click to vote
CPHYSICS
2007
15 years 10 days ago
2007
During the last decade, several quantum information protocols, such as quantum key distribution, teleportation or quantum computation, have attracted a lot of interest. Despite th...
111
click to vote
JUCS
2008
15 years 10 days ago
2008
Abstract: Adaptive behavior and learning are required of software agents in many application domains. At the same time agents are often supposed to be resource-bounded systems, whi...
211
click to vote
POPL
2009
ACM
16 years 1 months ago
2009
ACM
This work develops an integrated approach to the verification of behaviourally rich programs, founded directly on operational semantics. The power of the approach is demonstrated ...
148
Voted
META
1992
15 years 4 months ago
1992
ract Interpretation of Logic Programs Maurice Bruynooghe and Gerda :Ianssens Department of Computer Science, Katholleke Universiteit Leuven Celestijnenlaan 200A, B-3001 Heverlee, B...