3676 search results - page 172 / 736 » Scalable component abstractions |
151
click to vote
INFOCOM
1998
IEEE
15 years 10 months ago
1998
IEEE
ABSTRACT: Hierarchies provide scalability in large networks and are integral to many widely-used protocols and applications. Previous approaches to constructing hierarchies have ty...
163
click to vote
CAV
1993
Springer
15 years 10 months ago
1993
Springer
Abstract. This paper presents a scalable approach to reasoning formally about distributed algorithms. It uses results about I O automata to extract a set of proof obligations for s...
167
click to vote
ERCIMDL
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. In this paper INDIGO, an approach to infrastructures for digital libraries is presented. It fulfills two crucial requirements to digital libraries: scalability and the ab...
145
click to vote
SEMWEB
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We extend our recent work on evaluating incomplete reasoners by introducing strict testing bases. We show how they can be used in practice to identify ontologies and quer...
176
click to vote
ICC
2008
IEEE
16 years 19 days ago
2008
IEEE
Abstract— Modern layered or scalable video coding technologies generate a video bit stream with various inter layer dependencies due to references between the layers. This work p...