355 search results - page 14 / 71 » An MDA-Based Approach for Inferring Concurrency in Distribut... |
ICDCS
2000
IEEE
15 years 4 months ago
2000
IEEE
1 Switched system-area networks enable thousands of storage devices to be shared and directly accessed by end hosts, promising databases and filesystems highly scalable, reliable ...
246
click to vote
SIGMOD
2011
ACM
14 years 2 months ago
2011
ACM
In the database community, work on information extraction (IE) has centered on two themes: how to effectively manage IE tasks, and how to manage the uncertainties that arise in th...
PADL
2000
Springer
15 years 3 months ago
2000
Springer
We show how the features of modern integrated functional logic programming languages can be exploited to implement graphical user interfaces (GUIs) in a high-level declarative styl...
116
click to vote
SCP
2010
14 years 10 months ago
2010
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...
ICPP
2003
IEEE
15 years 5 months 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...