276 search results - page 18 / 56 » From Model-Checking to Temporal Logic Constraint Solving |
165
click to vote
CSAC
2006
15 years 2 months ago
2006
Abstract. Web services constitute a dynamic field of research about technologies of the Internet. WS-BPEL 2.0, is in the way for becoming a standard for defining Web services orche...
124
click to vote
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
In this paper we combine existing work in the area of social laws with a framework for reasoning about knowledge in multi-agent systems. The unifying framework in which this is do...
113
click to vote
CDC
2009
IEEE
14 years 11 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...
126
click to vote
GECCO
2007
Springer
15 years 5 months ago
2007
Springer
Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most model checke...
131
click to vote
GRC
2005
IEEE
15 years 7 months ago
2005
IEEE
— In this article, a formalism for a specific temporal data mining task (the discovery of rules, inferred from databases of events having a temporal dimension), is defined. The...