690 search results - page 25 / 138 » Testing Temporal Logic Properties in Distributed Systems |
94
Voted
ENTCS
2006
15 years 13 days ago
2006
We propose a formal method to validate the reliability of a web application, by modeling interactions among its constituent objects. Modeling exploits the recent "Multiple Le...
107
click to vote
TCS
2008
15 years 10 days ago
2008
Temporal logics and model-checking have proved successful to respectively express biological properties of complex biochemical systems, and automatically verify their satisfaction...
109
click to vote
PTS
2003
15 years 1 months ago
2003
We present a framework for property testing where a partially ordered execution trace of a distributed system is modeled by a collection of communicating automata. We prove that th...
108
Voted
NJC
2002
15 years 2 days ago
2002
The tcc model is a formalism for reactive concurrent constraint programming. We present a model of temporal concurrent constraint programming which adds to tcc the capability of mo...
103
click to vote
TIME
2009
IEEE
15 years 7 months ago
2009
IEEE
—Towards a data-centric workflow approach, we introduce an artifact model to capture data and workflow management activities in distributed settings. The model is built on Acti...