2005 search results - page 313 / 401 » Business Process Knowledge Modelling: Method and Tool |
AGENTS
2001
Springer
15 years 2 months ago
2001
Springer
We introduce the study of live social insect colonies as a relevant and exciting domain for the development and application of multi-agent systems modeling tools. Social insects p...
TPHOL
1998
IEEE
15 years 2 months ago
1998
IEEE
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...
67
Voted
BCSHCI
2008
14 years 11 months ago
2008
Creativity is indispensable for more innovative interactive system development. This tutorial is relevant to anyone involved in large projects that are exploiting new technologies...
112
click to vote
ADAEUROPE
2005
Springer
15 years 3 months ago
2005
Springer
This paper describes the methodology used to add nonintrusive system-level fault tolerance to an electronic throttle controller. The original model of the throttle controller is a...
VISUALIZATION
2002
IEEE
15 years 2 months ago
2002
IEEE
The bioactivity of a molecule strongly depends on its metastable conformational shapes and the transitions between these. Therefore, conformation analysis and visualization is a b...