1054 search results - page 120 / 211 » Abstract Regular Model Checking |
COORDINATION
2010
Springer
13 years 10 months ago
2010
Springer
In the context of service-oriented computing, behavioural contracts are descriptions of the message-passing behaviour of services. They can be used to check properties of service c...
ECCV
2004
Springer
14 years 12 months ago
2004
Springer
Abstract. We address the problem of modeling the spatial and temporal second-order statistics of video sequences that exhibit both spatial and temporal regularity, intended in a st...
SPIN
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. We report on the use of model checking techniques for both the verification of a process control program and the derivation of optimal control schedules. Most of this wor...
IEEECIT
2005
IEEE
14 years 3 months ago
2005
IEEE
Abstract The conversation model captures interactions among the components of a composite web service. A conversation is the global sequence of messages exchanged among the compone...
ICIW
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract-- Maintaining large websites and verifying their semantic content is a difficult task. In this paper we propose a framework for syntactic validation, semantic verification...