Sciweavers

2184 search results - page 205 / 437
» Modeling and Realizing Interoperability
Sort
View
TPHOL
1998
IEEE
14 years 14 days 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...
IFIP
1998
Springer
14 years 13 days ago
Mobile agent technology in support of sales order processing in the virtual enterprise
The flexible integration of a range of disparate IT applications is a key requirement for today's global enterprises. The virtual enterprise, formed by a collection of collab...
Todd Papaioannou, John Edwards
COSIT
1997
Springer
115views GIS» more  COSIT 1997»
14 years 12 days ago
Qualitative Representation of Change
Current geographic information systems (GISs) have been designed for querying and maintaining static databases representing static phenomena and give little support to those users ...
Kathleen Hornsby, Max J. Egenhofer
ISKI
1994
14 years 9 days ago
Evolution towards, in, and beyond Object Databases
There is a manifold of meanings we could associate with the term \evolution" in the database arena. This paper tries to categorize some of these into a unique framework, showi...
Marc H. Scholl, Markus Tresch
ATAL
1995
Springer
13 years 11 months ago
The Architecture of an Agent Building Shell
The agent view provides maybe the right level of abstraction for dealing with complex, distribblem-solving systems. It abstracts from aspects like the hardware or software platfor...
Mihai Barbuceanu, Mark S. Fox