752 search results - page 136 / 151 » A framework for describing web repositories |
CORR
2006
Springer
14 years 9 months ago
2006
Springer
: A good organization model of multiple mobile robot should be able to improve the efficiency of the system, reduce the complication of robot interactions, and detract the difficul...
SAS
2010
Springer
14 years 8 months ago
2010
Springer
We describe Deskcheck, a parametric static analyzer that is able to establish properties of programs that manipulate dynamically allocated memory, arrays, and integers. Deskcheck c...
CISIS
2009
IEEE
14 years 7 months ago
2009
IEEE
The Health-e-Waterways Project is a collaboration between the University of Queensland, Microsoft Research and the South East Queensland Healthy Waterways Partnership (SEQ-HWP) (a...
SEMWEB
2007
Springer
15 years 3 months ago
2007
Springer
Several proposals have been put forward to support distributed agent cooperation in the Semantic Web, by allowing concepts and roles in one ontology be reused in another ontology. ...
105
click to vote
SIGCOMM
1999
ACM
15 years 1 months ago
1999
ACM
This paper presents a novel framework for managing network congestion from an end-to-end perspective. Our work is motivated by several trends in traffic patterns that threaten th...