6808 search results - page 114 / 1362 » Distributed Concurrency Control |
ICDCSW
2006
IEEE
14 years 4 months ago
2006
IEEE
Software systems need to adapt as requirements change, environment conditions vary, and bugs are discovered and fixed. In context of verification of these adaptive systems, the ...
COLCOM
2008
IEEE
14 years 4 months ago
2008
IEEE
In collaboration architectures, a computer must perform both processing and transmission tasks. Intuitively, it seems that these independent tasks should be executed in concurrent ...
CONCUR
2004
Springer
14 years 3 months ago
2004
Springer
We present a trace semantics for a language of parallel programs which share access to mutable data. We introduce a resource-sensitive logic for partial correctness, based on a re...
EUROPAR
2004
Springer
14 years 3 months ago
2004
Springer
Tabling is an implementation technique that improves the declarativeness and expressiveness of Prolog by reusing answers to subgoals. The declarative nature of tabled logic program...
LOBJET
2000
13 years 10 months ago
2000
ABSTRACT. As informal methods do little to help their use for concurrent and distributed programming, one of the most challenging current tasks is to build tools based on formal me...