2661 search results - page 225 / 533 » Model Checking Performability Properties |
111
click to vote
JSS
2006
15 years 3 months ago
2006
Model checking is a powerful automated technique mainly used for the verification of properties of reactive systems. In practice, model checkers are limited due to the state explos...
144
click to vote
APSEC
2009
IEEE
15 years 26 days ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
114
click to vote
ICCV
1999
IEEE
16 years 5 months ago
1999
IEEE
In human perception, convex surfaces have a strong tendency to be perceived as the "figure". Convexity has a stronger influence on figural organization than other global...
140
click to vote
ESANN
2004
15 years 4 months ago
2004
We compare the use of two Markovian models, HMMs and IOHMMs, to discriminate between three mental tasks for brain computer interface systems using an asynchronous protocol. We show...
132
click to vote
FTDCS
1999
IEEE
15 years 7 months ago
1999
IEEE
The process of component integrationfor distributed application sofrware development requires identifying the candidate components and performing compatibility checks based on the...