Sciweavers

8370 search results - page 680 / 1674
» Challenges in P2P Computing
Sort
View
ERSHOV
2006
Springer
15 years 11 months ago
Formal Methods in Industrial Software Standards Enforcement
The article presents an approach to development of software standards usage infrastructure. The approach is based on formalization of standards and automated conformance test deriv...
Alexey Grinevich, Alexey V. Khoroshilov, Victor V....
GCC
2006
Springer
15 years 11 months ago
Developing the Modular Information Provider (MIP) to Support Interoperable Grid Information Services
The Modular Information Provider (MIP) has been developed to systematically aggregate multiple sources of information for Grid information services (GIS). MIP undertakes the chall...
Shaowen Wang, Eric Shook, Anand Padmanabhan, Ranso...
HUC
2000
Springer
15 years 11 months ago
Notable: At the Intersection of Annotations and Handheld Technology
The Notable annotation system enables users to annotate paper documents using handheld devices in a mobile environment. This paper describes the design issues and solutions that a...
Michelle Q. Wang Baldonado, Steve B. Cousins, Jace...
166
Voted
LCR
2000
Springer
118views System Software» more  LCR 2000»
15 years 11 months ago
Run-Time Support for Adaptive Heavyweight Services
By definition, a heavyweight network service requires a significant amount of computation to complete its task. Providing a heavyweight service is challenging for a number of reaso...
Julio C. López, David R. O'Hallaron
SOFSEM
2000
Springer
15 years 11 months ago
Hierarchies of Sensing and Control in Visually Guided Agents
The capability of perceiving the environment is crucial for advancing the level of autonomy and sophistication of (semi)autonomous robotic systems and determines the complexity of ...
Jana Kosecka