Sciweavers

1963 search results - page 28 / 393
» How is aliasing used in systems software
Sort
View
COORDINATION
2005
Springer
14 years 2 months ago
Coordination Systems in Role-Based Adaptive Software
Software systems are becoming more open, distributed, pervasive, and connected. In such systems, the relationships between loosely-coupled application elements become non-determini...
Alan W. Colman, Jun Han
ADBIS
2005
Springer
170views Database» more  ADBIS 2005»
14 years 2 months ago
Architecture of Pattern Management Software System
Patterns and models are artifacts that are assets to their owners. Storing them in a repository and using common interfaces for their management simplifies their usage. This articl...
Erki Eessaar
AGENTS
2001
Springer
14 years 1 months ago
CMPack: a complete software system for autonomous legged soccer robots
This paper describes a completely implemented, fully autonomous software system for soccer playing quadruped robots. The system includes real-time color vision, probabilistic loca...
Scott Lenser, James Bruce, Manuela M. Veloso
TPHOL
1998
IEEE
14 years 1 months ago
The Village Telephone System: A Case Study in Formal Software Engineering
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
Karthikeyan Bhargavan, Carl A. Gunter, Elsa L. Gun...
SEKE
2005
Springer
14 years 2 months ago
Using Ontologies to Add Semantics to a Software Engineering Environment
Software Engineering Environments (SEEs) are systems designed to support software development and maintenance, and also for supporting project control and management. They provide ...
Ricardo de Almeida Falbo, Fabiano Borges Ruy, Rodr...