194 search results - page 33 / 39 » Rule-Based Runtime Verification |
126
click to vote
ENTCS
2002
15 years 2 months ago
2002
The MaC system has been developed to provide assurance that a target program is running correctly with respect to formal requirements specification. This is achieved by monitoring...
132
Voted
KBSE
2010
IEEE
15 years 26 days ago
2010
IEEE
Situated software systems are an emerging class of systems that are predominantly pervasive, embedded, and mobile. They are marked with a high degree of unpredictability and dynam...
123
click to vote
CODES
2010
IEEE
15 years 13 days ago
2010
IEEE
Due to the ever increasing system complexity, deciding whether a given platform is sufficient to implement a set of applications under given constraints becomes a serious bottlene...
134
Voted
ECAI
2010
Springer
15 years 13 days ago
2010
Springer
The language of linear temporal logic (LTL) has been proposed as a formalism for specifying temporally extended goals and search control constraints in planning. However, the seman...
109
click to vote
ICCV
2009
IEEE
15 years 5 days ago
2009
IEEE
Geometric verification with RANSAC has become a crucial step for many local feature based matching applications. Therefore, the details of its implementation are directly relevant...