1138 search results - page 157 / 228 » First-Order Model Checking Problems Parameterized by the Mod... |
106
Voted
CAV
2003
Springer
15 years 8 months ago
2003
Springer
We consider the problem of reasoning with linear temporal logic on truncated paths. A truncated path is a path that is finite, but not necessarily maximal. Truncated paths arise n...
122
Voted
CONCUR
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. In this paper we discuss the role of labels in transition systems with regard to bisimilarity and model checking problems. We suggest a general reduction from labelled tr...
124
Voted
ECAI
2006
Springer
15 years 7 months ago
2006
Springer
An approach to handle the complex dynamics of a multi-agent system is based on distinguishing aggregation levels by structuring the system into parts or components. The behavior of...
117
Voted
FMOODS
2007
15 years 5 months ago
2007
Rewriting logic provides a powerful, flexible mechanism for language definition and analysis. This flexibility in design can lead to problems during analysis, as different desi...
126
Voted
MMS
2006
15 years 3 months ago
2006
: In order to reduce transmission costs and response time, mobile clients typically cache data locally. But, avoiding the usage of outdated data and maintaining the consistency of ...