Sciweavers

2960 search results - page 91 / 592
» The Culture Based Model: Constructing a Model of Culture
Sort
View
96
Voted
ADAEUROPE
2008
Springer
15 years 2 months ago
On the Timed Automata-Based Verification of Ravenscar Systems
The Ravenscar profile for Ada enforces several restrictions on the usage of general-purpose tasking constructs, thereby facilitating most analysis tasks and in particular functiona...
Iulian Ober, Nicolas Halbwachs
COLING
1996
15 years 1 months ago
Goal Formulation based on Communicative Principles
The paper presents the Constructive Dialogue Model as a new approach to formulate system goals in intelligent dialogue systems. The departure point is in general communicative pri...
Kristiina Jokinen
82
Voted
WSC
2008
15 years 2 months ago
Design guidelines for simulation building blocks
Component based or building block based simulation model development is regularly mentioned as an interesting new development and a potential field of research. Most of the commer...
Alexander Verbraeck, Edwin Valentin
105
Voted
COMGEO
2008
ACM
15 years 21 days ago
Constructing minimum-interference networks
A wireless ad-hoc network can be represented as a graph in which the nodes represent wireless devices, and the links represent pairs of nodes that communicate directly by means of...
Marc Benkert, Joachim Gudmundsson, Herman J. Haver...
CMSB
2004
Springer
15 years 6 months ago
Combining State-Based and Scenario-Based Approaches in Modeling Biological Systems
Biological systems have recently been shown to share many of the properties of reactive systems. This observation has led to the idea of using methods devised for the construction ...
Jasmin Fisher, David Harel, E. Jane Albert Hubbard...