161 search results - page 14 / 33 » Concurrency in Biological Modeling: Behavior, Execution and ... |
HOPL
2007
13 years 11 months ago
2007
This paper is a highly personal and subjective account of how the language of statecharts came into being. The main novelty of the language is in being a fully executable visual f...
BMCBI
2008
13 years 7 months ago
2008
Background: Innumerable biological investigations require comparing collections of molecules, cells or organisms to one another with respect to one or more of their properties. Al...
AGENTS
2001
Springer
14 years 11 hour ago
2001
Springer
Rodents possess extraordinary navigation abilities that are far in excess of what current state-of-the-art robot agents are capable of. This paper describes research that is part ...
RE
2004
Springer
14 years 25 days ago
2004
Springer
Requirements engineers need to make sure that the requirements models and specifications they are building do accurately capture what stakeholders really want. Requirements animat...
KBSE
2003
IEEE
14 years 23 days ago
2003
IEEE
A key problem in model checking open systems is environment modeling (i.e., representing the behavior of the execution context of the system under analysis). Software systems are ...