427 search results - page 65 / 86 » Simulation of Advanced Transaction Models Using GOLOG |
BMCBI
2007
13 years 7 months ago
2007
Background: Boolean network (BN) modeling is a commonly used method for constructing gene regulatory networks from time series microarray data. However, its major drawback is that...
ICCAD
2004
IEEE
14 years 4 months ago
2004
IEEE
edicate Abstraction and Induction Edmund Clarke Daniel Kroening June 25, 2004 CMU-CS-04-131 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 It is common...
EUROPAR
2007
Springer
14 years 1 months ago
2007
Springer
In this paper, we develop a Cooperative Mobility Model that captures new salient features of collaborative and mission-oriented MANETs. In particular, the cost-benefit framework o...
AROBOTS
2005
13 years 7 months ago
2005
In field environments it is not usually possible to provide robots in advance with valid geometric models of its environment and task element locations. The robot or robot teams ne...
KBSE
2007
IEEE
14 years 1 months ago
2007
IEEE
Adoption of advanced automated SE (ASE) tools would be favored if a business case could be made that these tools are more valuable than alternate methods. In theory, software pred...