3765 search results - page 484 / 753 » Formal Methods for Systems Engineering Behavior Models |
189
click to vote
AEI
2006
15 years 6 months ago
2006
This paper presents a linguistic framework for developing a formal knowledge acquisition method. The framework is intended to empower domain experts to specify information require...
211
click to vote
GECCO
2007
Springer
15 years 8 months ago
2007
Springer
In autonomous agent systems, memory is an important element to handle agent behaviors appropriately. We present the analysis of memory requirements for robotic tasks including wal...
161
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: A mathematical model to understand, predict, control, or even design a real biological system is a central theme in systems biology. A dynamic biological system is alw...
162
click to vote
DBKDA
2009
IEEE
15 years 10 months ago
2009
IEEE
Software systems in health care, such as disease and medical-record management, or financial applications, such as customer relationship and portfolio management, have very often...
241
click to vote
TSE
2011
15 years 1 months ago
2011
— We propose a new probabilistic temporal logic iLTL which captures properties of systems whose state can be represented by probability mass functions (pmf’s). Using iLTL, we c...