6808 search results - page 156 / 1362 » Distributed Concurrency Control |
120
click to vote
ICLP
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Service and process-oriented systems promise to provide more effective business and work processes and more flexible and adaptable enterprise IT systems. However, the t...
129
Voted
ENTCS
2008
15 years 2 months ago
2008
Object orientation and component-based development have both proven useful for the elaboration of open distributed systems. These paradigms are offered by the Creol language. Creo...
107
click to vote
FORMATS
2010
Springer
15 years 11 days ago
2010
Springer
In an expected reachability-time game (ERTG) two players, Min and Max, move a token along the transitions of a probabilistic timed automaton, so as to minimise and maximise, respec...
FSTTCS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. This paper addresses the issue of confidentiality and declassification for global computing in a language-based security perspective. The purpose is to deal with new fo...
107
Voted
DATE
1997
IEEE
15 years 6 months ago
1997
IEEE
In digital circuit simulation hidden opportunities for concurrent execution of models often exist, arising from the propagation delay associated with the generation of output even...