2106 search results - page 233 / 422 » Operational Semantics for MSC'96 |
173
Voted
WWW
2010
ACM
16 years 13 days ago
2010
ACM
This paper addresses the problem of identifying redundant data in large-scale service-oriented information systems. Specifically, the paper puts forward an automated method to pi...
155
Voted
ICPP
2003
IEEE
16 years 12 days ago
2003
IEEE
For concurrent I/O operations, atomicity defines the results in the overlapping file regions simultaneously read/written by requesting processes. Atomicity has been well studied...
227
click to vote
CONCUR
2003
Springer
16 years 10 days ago
2003
Springer
We present a process-algebraic language for Probabilistic I/O Automata (PIOA). To ensure that PIOA specifications given in our language satisfy the “input-enabled” property, w...
186
click to vote
TAMC
2010
Springer
16 years 5 days ago
2010
Springer
We study possible formulations of algebraic propositional proof systems operating with noncommutative formulas. We observe that a simple formulation gives rise to systems at least ...
247
Voted
CBMS
2002
IEEE
16 years 2 days ago
2002
IEEE
The need for systems that can stock, represent, and provide efficient retrieval facilities of images of particular interest is becoming very high in medicine. In this respect, a l...