3239 search results - page 622 / 648 » A Logical Process Calculus |
118
Voted
MIDDLEWARE
2007
Springer
15 years 6 months ago
2007
Springer
Recent research advances in Peer-to-Peer (P2P) computing have enabled the P2P paradigm to be used for developing complex applications beyond file sharing and data storage. These ...
105
Voted
SEMWEB
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Nowadays enterprises request information technologies that leverage structured and unstructured information for providing a single integrated view of business problems in...
131
Voted
TARK
2007
Springer
15 years 6 months ago
2007
Springer
We contend that reasoning about knowledge is both natural and pragmatic for verification of electronic voting protocols. We present a model in which desirable properties of elect...
126
click to vote
VLDB
2007
ACM
15 years 6 months ago
2007
ACM
Testing a database engine has been and continues to be a challenging task. The space of possible SQL queries along with their possible access paths is practically unbounded. Moreo...
131
Voted
WILF
2007
Springer
15 years 6 months ago
2007
Springer
Background: Quantitative analysis of differential protein expressions requires to align temporal elution measurements from liquid chromatography coupled to mass spectrometry (LC/M...