Sciweavers

11017 search results - page 377 / 2204
» Closure Systems and their Structure
Sort
View
EPIA
1999
Springer
15 years 11 months ago
Analytic Modal Revision for Multi-agent Systems
We present two models of hierarchical structured multi-agents, and we describe how to obtain a modal knowledge base from distributed sources. We then propose a computationally orie...
Paolo Di Giusto, Guido Governatori
HICSS
1994
IEEE
105views Biometrics» more  HICSS 1994»
15 years 11 months ago
Towards a Design Methodology for Decision Support Systems
This paper proposes the use of process models for DSS design. The kind of process models suggested are task structures and decision structures with simple graphical syntax and sem...
J. J. Zuurbier, J. N. Brinkkemper, Margriet Offere...
ACSD
2001
IEEE
83views Hardware» more  ACSD 2001»
15 years 10 months ago
Overcoming Heterophobia: Modeling Concurrency in Heterogeneous Systems
We describe a framework where formal models can be rigorously defined and compared, and their interconnections can be unambiguously specified. We use trace algebra and trace struc...
Jerry R. Burch, Roberto Passerone, Alberto L. Sang...
COGSCI
2006
107views more  COGSCI 2006»
15 years 6 months ago
Arrows in Comprehending and Producing Mechanical Diagrams
Mechanical systems have structural organizations--parts, and their relations--and functional organizations--temporal, dynamic, and causal processes--which can be explained using t...
Julie Heiser, Barbara Tversky
ECBS
2005
IEEE
92views Hardware» more  ECBS 2005»
16 years 14 days ago
Towards a Systemic Approach to Autonomic Systems Engineering
An autonomic system is structured as a network of autonomic elements that collaborate to achieve the system’s purpose. This paper examines the potential benefit of using well-es...
David W. Bustard, Roy Sterritt, A. Taleb-Bendiab, ...