1796 search results - page 171 / 360 » An Approach to Compositional Model Checking |
123
Voted
EMSOFT
2005
Springer
15 years 6 months ago
2005
Springer
The central idea behind interface-based design is to describe components by a component interface. In contrast to a component description that describes what a component does, a c...
126
click to vote
WWW
2006
ACM
16 years 1 months ago
2006
ACM
Today, the Web is increasingly used as a platform for distributed services, which transcend organizational boundaries to form federated applications. Consequently, there is a grow...
110
click to vote
FLAIRS
2006
15 years 1 months ago
2006
Cognitive modeling has outgrown the toy problems of the research labs and is increasingly tackling Industrial size applications. This growth is not matched in terms of software to...
100
Voted
ETFA
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper presents a new approach to modelling and verification of function block applications of the IEC 61499 standard. The approach uses the language of logic programming Prol...
105
click to vote
CDC
2009
IEEE
14 years 10 months ago
2009
IEEE
We consider the problem of controlling a continuous-time linear stochastic system from a specification given as a Linear Temporal Logic (LTL) formula over a set of linear predicate...