37 search results - page 5 / 8 » Fusing Quantitative Requirements Analysis with Model-based S... |
189
click to vote
DMS
2008
15 years 6 months ago
2008
There is a growing demand for Multi-Agent Systems (MAS) in the software industry. The autonomous agent interaction in a dynamic software environment can potentially lead to runtim...
138
click to vote
IJCNN
2006
IEEE
15 years 11 months ago
2006
IEEE
—Computational models of development aim to describe the mechanisms that underlie the acquisition of new skills or the emergence of new capabilities. The strength of a model is j...
157
click to vote
HASE
2007
IEEE
15 years 11 months ago
2007
IEEE
Fault Tree Analysis (FTA) is a safety-analysis technique that has been recently extended to accommodate product-line engineering for critical domains. This paper describes a tool-...
150
click to vote
GCB
2004
Springer
15 years 10 months ago
2004
Springer
: Carbon Labeling Systems (CLS) are large equation systems that describe the dynamics of labeled carbon atoms in a metabolic network. The rapid solution of these systems is the alg...
178
click to vote
TASE
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract--We present a robotic manipulation system for automated selection and transfer of individual living cells to analysis locations. We begin with a commonly used cell transfe...