3676 search results - page 376 / 736 » Scalable component abstractions |
205
click to vote
ICDCSW
2003
IEEE
16 years 27 days ago
2003
IEEE
We present an architectural framework, Garnet, which a data stream centric abstraction to encourage the manipulation and exploitation of data generated in sensor networks. By prov...
180
click to vote
ICSE
2010
IEEE-ACM
16 years 12 days ago
2010
IEEE-ACM
Though verification tools are finding industrial use, the utility of engineering optimizations that make them scalable and usable is not widely known. Despite the fact that seve...
220
click to vote
HPDC
1998
IEEE
15 years 12 months ago
1998
IEEE
In this paper, we argue for the power of providing a common set of OS services to wide area applications, including mechanisms for resource discovery, a global namespace, remote p...
210
click to vote
EATIS
2007
ACM
15 years 11 months ago
2007
ACM
The web service approach provides mechanisms for simplifying application integration. However, to meaningfully facilitate scalable development and maintenance of web service appli...
226
click to vote
FM
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...