This paper establishes an architecture for global user interfaces by defining appropriate user tasks and designing an agent-based interface mechanism for distributed geographic information services. User tasks include query, display, data integration, and GIS processing functions. The use of intelligent agents is justified in the context of increasing geospatial data volume, increasing complexi...

As part of the DARPA Software for Distributed Robotics Program, SRI International, Stanford University, the University of Washington, and ActivMedia Robotics are designing and implementing a computational framework for the coordination of large robot teams, consisting of at least 100 small, resource limited mobile robots (CentiBOTS), on an indoor reconnaissance task.

The IT industry has faced many challenges related to software effort and cost estimation. A assessment is conducted after estimation, which benefits customers as well developers. purpose of this paper discuss various methods for the estimation in context engineering, such algorithmic methods, expert judgment analogy-based machine learning their different aspects. In spite this, involved develop...

We present an approach to the design of a literate programming tool for the algebraic programming language Opal, which serves as a back-end in the formal program derivation process. In designing our documentation system we not only take technical aspects into account , but also have the acceptance of the documentation system by the software developer in mind.

As part of the DARPA Software for Distributed Robotics Program, SRI International, Stanford University, the University of Washington, and ActivMedia Robotics are designing and implementing a computational framework for the coordination of large robot teams, consisting of at least 100 small, resource limited mobile robots (CentiBOTS), on an indoor reconnaissance task.

The size, complexity and long 1 ife-time of telecommunications software, e.g. the programs for store program control (SPC) telephone exchanges, call for an increased software productivi ty and maintainability other than an improved qua1 ity. The availability of programming support environments based on standardized specification and programming languages greatly improves the software developmen...

Cloud computing has emerged as an extremely successful paradigm for deploying web applications. Scalability, elasticity, pay-per-use pricing, and economies of scale from large scale operations are the major reasons for the successful and widespread adoption of cloud infrastructures. Since a majority of cloud applications are data driven, database management systems (DBMSs) powering these applic...

and application service frameworks). We believe that the Semantic Web markup language DAML+OIL (DARPA Agent Markup Language plus Ontology Inference Layer) will be central to this goal’s realization. The DAML Program aims to develop a Semantic Web markup language that provides sufficient rules for ontology development and that supports intelligent agents and other applications.1,2 (For more info...

Program synthesis is a complex task comprising many interacting subactivities and requiring access to a variety of knowledge sourcesr Recent investigations have discovered the inadequaciest;ef current synthesis techniques to keep pace with increasing difficulties of managing large intricate problem solutions* An alternative approach to software methodologies is the development of intelligent co...