Sciweavers

1169 search results - page 212 / 234
» Degrees of monotone complexity
Sort
View
ATVA
2005
Springer
202views Hardware» more  ATVA 2005»
14 years 1 months ago
Model Checking Real Time Java Using Java PathFinder
Abstract. The Real Time Specification for Java (RTSJ) is an augmentation of Java for real time applications of various degrees of hardness. The central features of RTSJ are real t...
Gary Lindstrom, Peter C. Mehlitz, Willem Visser
CIKM
2005
Springer
14 years 1 months ago
Structured queries in XML retrieval
Document-centric XML is a mixture of text and structure. With the increased availability of document-centric XML content comes a need for query facilities in which both structural...
Jaap Kamps, Maarten Marx, Maarten de Rijke, Bö...
DILS
2005
Springer
14 years 1 months ago
Semantic Correspondence in Federated Life Science Data Integration Systems
For execution of complex biological queries, data integration systems often use several intermediate data sources because the domain coverage of individual sources is limited. Qual...
Malika Mahoui, Harshad Kulkarni, Nianhua Li, Zina ...
PODC
2004
ACM
14 years 29 days ago
Gradient clock synchronization
We introduce the distributed gradient clock synchronization problem. As in traditional distributed clock synchronization, we consider a network of nodes equipped with hardware clo...
Rui Fan, Nancy A. Lynch
SIGMETRICS
2004
ACM
124views Hardware» more  SIGMETRICS 2004»
14 years 29 days ago
Interposed proportional sharing for a storage service utility
This paper develops and evaluates new share-based scheduling algorithms for differentiated service quality in network services, such as network storage servers. This form of resou...
Wei Jin, Jeffrey S. Chase, Jasleen Kaur