Sciweavers

409 search results - page 56 / 82
» Approaching a Discrete-Continuous UML: Tool Support and Form...
Sort
View
IFM
2004
Springer
116views Formal Methods» more  IFM 2004»
15 years 5 months ago
Formalising Behaviour Trees with CSP
Abstract. Behaviour Trees is a novel approach for requirements engineering. It advocates a graphical tree notation that is easy to use and to understand. Individual requirements ar...
Kirsten Winter
AIIA
2011
Springer
13 years 11 months ago
An Interaction-Oriented Agent Framework for Open Environments
Abstract. The aim of the work is to develop formal models of interaction and of the related support infrastructures, that overcome the limits of the current approaches. We propose ...
Matteo Baldoni, Cristina Baroglio, Federico Bergen...
AIIA
2003
Springer
15 years 3 months ago
Applying Artificial Intelligence to Clinical Guidelines: The GLARE Approach
In this paper, we present GLARE, a domain-independent system for acquiring, representing and executing clinical guidelines. GLARE is characterized by the adoption of Artificial Int...
Paolo Terenziani, Stefania Montani, Alessio Bottri...
ARCS
2005
Springer
15 years 5 months ago
Reusable Design of Inter-chip Communication Interfaces for Next Generation of Adaptive Computing Systems
Abstract. The SoC (System-on-Chip) technology is used in small and flexible consumer electronic devices. SoCs include one or more microcontroller, memory, programmable logic, and ...
Vincent Kotzsch, Jörg Schneider, Günther...
ACMDIS
2000
ACM
15 years 4 months ago
A Pattern Approach to Interaction Design
To create successful interactive systems, user interface designers need to cooperate with developers and application domain experts in an interdisciplinary team. These groups, how...
Jan O. Borchers