1992 search results - page 339 / 399 » Model Based Testing with Labelled Transition Systems |
112
click to vote
SAB
2010
Springer
15 years 27 days ago
2010
Springer
Abstract. Neuromodulators can have a strong effect on how organisms cooperate and compete for resources. To better understand the effect of neuromodulation on cooperative behavior,...
156
click to vote
IJCAI
2007
15 years 3 months ago
2007
To test large scale socially embedded systems, this paper proposes a multiagent-based participatory design that consists of two steps; 1) participatory simulation, where scenario-...
119
Voted
JSS
2002
15 years 2 months ago
2002
A customer of high assurance software recently sponsored a software engineering experiment in which a small real-time software system was developed concurrently by two popular sof...
197
click to vote
GIS
2008
ACM
16 years 3 months ago
2008
ACM
d Abstract] K. Buchin Dept. Computer Science Utrecht University The Netherlands buchin@cs.uu.nl M. Buchin Dept. Computer Science Utrecht University The Netherlands maike@cs.uu.nl ...
105
Voted
ICRA
2002
IEEE
15 years 7 months ago
2002
IEEE
Locating arteries hidden beneath superficial tissue can be a difficult task in minimally invasive surgery. This paper reports the development of a system that finds the paths of a...