690 search results - page 125 / 138 » Testing Temporal Logic Properties in Distributed Systems |
104
click to vote
DAGSTUHL
2003
15 years 1 months ago
2003
Abstract. In this paper, we show how the concepts of objects, components, features and agents are used today in the Agent Building Center (ABC) environment in order to marry the mo...
119
Voted
ASE
2005
15 years 8 days ago
2005
Techniques for efficiently evaluating future time Linear Temporal Logic (abbreviated LTL) formulae on finite execution traces are presented. While the standard models of LTL are i...
103
Voted
GEOINFORMATICA
2006
15 years 11 days ago
2006
Metadata is needed to facilitate data sharing among geospatial information communities. Geographic Metadata Standards are available but tend to be general and complex in nature an...
106
Voted
CF
2005
ACM
15 years 2 months ago
2005
ACM
Result checking is the theory and practice of proving that the result of an execution of a program on an input is correct. Result checking has most often been envisioned in the fr...
140
Voted
FSKD
2006
Springer
15 years 4 months ago
2006
Springer
The purpose of this study is to develop a decision making system to evaluate the risks in E-Commerce (EC) projects. Competitive software businesses have the critical task of assess...