Sciweavers

2607 search results - page 438 / 522
» On the Architecture of System Verification Environments
Sort
View
VLDB
2004
ACM
138views Database» more  VLDB 2004»
15 years 11 months ago
Towards an Internet-Scale XML Dissemination Service
Publish/subscribe systems have demonstrated the ability to scale to large numbers of users and high data rates when providing content-based data dissemination services on the Inte...
Yanlei Diao, Shariq Rizvi, Michael J. Franklin
ICRA
2002
IEEE
105views Robotics» more  ICRA 2002»
15 years 11 months ago
Learning Behavioral Parameterization using Spatio-Temporal Case-Based Reasoning
This paper presents an approach to learning an optimal behavioral parameterization in the framework of a Case-Based Reasoning methodology for autonomous navigation tasks. It is ba...
Maxim Likhachev, Michael Kaess, Ronald C. Arkin
IPPS
2000
IEEE
15 years 10 months ago
Enhancing NWS for Use in an SNMP Managed Internetwork
The Network Weather Service NWS is a distributed resource monitoring and utilization prediction system, employed as an aid to scheduling jobs in a metacomputing environment 9, 1...
Robert E. Busby Jr., Mitchell L. Neilsen, Daniel A...
COBUILD
1999
Springer
15 years 10 months ago
OWL: An Object-Oriented Framework for Intelligent Home and Office Applications
The goal of OWL (Object-Oriented Workplace Laboratory) is to provide an object-oriented and component-based framework that supports the engineering of applications for the design, ...
Bernd Brügge, Ralf Pfleghar, Thomas Reicher
DSOM
1999
Springer
15 years 10 months ago
Programmable Agents for Active Distributed Monitoring
Abstract. The successful deploymentof next-generation distributedsystems is signi cantly dependent on the e cient management support that improves the performance and reliability o...
Ehab S. Al-Shaer