6829 search results - page 1062 / 1366 » Quantitative Generalizations of Languages |
198
click to vote
LFCS
2007
Springer
16 years 25 days ago
2007
Springer
We present a general algorithm scheme for model checking logics of knowledge, common knowledge and linear time, based on simulations to a class of structures that capture the way t...
195
click to vote
MIDDLEWARE
2007
Springer
16 years 25 days ago
2007
Springer
This paper is about a novel rule-based approach for reasoning about qualitative spatiotemporal relations among technology-rich autonomous objects, to which we refer to as artifact...
192
click to vote
MIDDLEWARE
2007
Springer
16 years 25 days ago
2007
Springer
Context awareness has emerged as an important element in distributed computing. It offers mechanisms that allow applications to be aware of their environment and enable these appl...
199
click to vote
MIDDLEWARE
2007
Springer
16 years 25 days ago
2007
Springer
The emergence of applications domains such as pervasive and autonomic computing has increased the need for customisation and dynamic adaptation of both distributed systems, and th...
181
click to vote
MODELS
2007
Springer
16 years 25 days ago
2007
Springer
Aspect-Oriented Modeling (AOM) approaches propose to model reusable aspects, or cross-cutting concerns, that can be composed in different systems at a model or code level. Buildin...