2639 search results - page 159 / 528 » Biological Systems as Reactive Systems |
163
click to vote
TPHOL
1998
IEEE
15 years 9 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...
142
click to vote
ISMB
1993
1993
Prediction of Primate Splice Junction Gene Sequences with a Cooperative Knowledge Acquisition System
15 years 6 months ago
Wepropose a cooperative conceptual modelling environment in which two agents interact : the machineand the humanexpert. Theformer is able to extract knowledge from data using a sy...
152
click to vote
DIGRA
2005
Springer
15 years 10 months ago
2005
Springer
The substantial growth of the video game industry has fueled a search for new technologies and methodologies for providing rich and rewarding experiences for players of modern vid...
189
click to vote
CW
2003
IEEE
15 years 10 months ago
2003
IEEE
This study concerns virtual environments for training in operational conditions. The principal developed idea is that these environments are heterogeneous and open multi-agent sys...
155
click to vote
MOBILITY
2009
ACM
15 years 9 months ago
2009
ACM
Many adaptative context-aware middleware exist and mostly rely on so-called vertical architectures that offer a functional decomposition for context-awareness. This architecture ...