Sciweavers

1522 search results - page 150 / 305
» Supporting Dynamic Process Specifications Using Communicatio...
Sort
View
122
Voted
COORDINATION
2006
Springer
15 years 6 months ago
Automated Evaluation of Coordination Approaches
How to coordinate the processes in a complex component-based software system is a nontrivial issue. Many different coordination approaches exist, each with its own specific advanta...
Tibor Bosse, Mark Hoogendoorn, Jan Treur
103
Voted
ECIS
2004
15 years 4 months ago
Context Engineering: An IS Development Research Agenda
The authors present the Context Engineering (CE) approach to Information Systems Development (ISD) as a framework to organise ideas about previous development experience and to gu...
Licinio Roque, Ana Almeida, António Dias de...
124
Voted
IDT
2008
123views more  IDT 2008»
15 years 2 months ago
A rich semantic model of track as a foundation for sharing beliefs regarding dynamic objects and events
: Many defense, homeland security, and commercial security objectives require continuous tracking of mobile entities such as aircraft. The systems that perform these functions prod...
Frederick Hayes-Roth, Curtis L. Blais
104
Voted
IVS
2006
84views more  IVS 2006»
15 years 2 months ago
Finding and understanding reusable designs from large hierarchical repositories
This paper describes a prototype called CoMem (Corporate Memory) that supports the finding and understanding of useful items in large hierarchical repositories. The particular dom...
Peter Demian, Renate Fruchter
130
Voted
FAC
2000
114views more  FAC 2000»
15 years 2 months ago
Representational Reasoning and Verification
Formal approaches to the design of interactive systems rely on reasoning about properties of the t a very high level of abstraction. Specifications to support such an approach typi...
Gavin J. Doherty, José Creissac Campos, Mic...