1222 search results - page 156 / 245 » A Bayesian Approach to Model Checking Biological Systems |
129
click to vote
RE
2001
Springer
15 years 8 months ago
2001
Springer
at different levels of abstraction. There are two very different ways of using such languages. One approach is based on the manifestation of a single model, with construction of di...
136
click to vote
IFIP13
2004
15 years 5 months ago
2004
: Function allocation, as a process used in the construction of dependable complex systems, is a significant aspect of the design and implementation of interactive systems. It invo...
214
click to vote
FMOODS
2008
15 years 5 months ago
2008
In this work, novel symbolic step encodings of the transition relation for object based communicating state machines are presented. This class of systems is tailored to capture the...
139
click to vote
CAISE
2005
Springer
15 years 10 months ago
2005
Springer
Enterprise architects seek to align enterprise processes and structure with their supporting IT systems so that enterprises can flourish in their environment. The enterprise archi...
140
click to vote
AROBOTS
2008
15 years 4 months ago
2008
Object grasping is a typical human ability which is widely studied from both a biological and an engineering point of view. This paper presents an approach to grasp synthesis inspi...