Sciweavers

1992 search results - page 339 / 399
» Model Based Testing with Labelled Transition Systems
Sort
View
SAB
2010
Springer
128views Optimization» more  SAB 2010»
15 years 27 days ago
Simulation of How Neuromodulation Influences Cooperative Behavior
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,...
Andrew Zaldivar, Derrik E. Asher, Jeffrey L. Krich...
IJCAI
2007
15 years 3 months ago
Augmented Experiment: Participatory Design with Multiagent Simulation
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-...
Toru Ishida, Yuu Nakajima, Yohei Murakami, Hideyuk...
119
Voted
JSS
2002
90views more  JSS 2002»
15 years 2 months ago
Producing reliable software: an experiment
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...
Carol Smidts, Xin Huang, James C. Widmaier
GIS
2008
ACM
16 years 3 months ago
Detecting single file movement
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 ...
Kevin Buchin, Maike Buchin, Joachim Gudmundsson
105
Voted
ICRA
2002
IEEE
91views Robotics» more  ICRA 2002»
15 years 7 months ago
Tactile Tracking of Arteries in Robotic Surgery
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...
Ryan A. Beasley, Robert D. Howe