2813 search results - page 197 / 563 » Formalizing Architectural Connection |
350
click to vote
COSIT
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. We propose CLP(QS), a declarative spatial reasoning framework capable of representing and reasoning about high-level, qualitative spatial knowledge about the world. We sy...
126
click to vote
ICAS
2005
IEEE
16 years 1 days ago
2005
IEEE
This paper presents an integrated architecture for ad hoc Grids developed within the Java CoG Kit project. It provides an overview of the key component frameworks that collectivel...
190
click to vote
DSVIS
2005
Springer
15 years 12 months ago
2005
Springer
The calculus outlined in this paper provides a formal architectural framework for describing and reasoning about the properties of multi-user and mobile distributed interactive sys...
158
click to vote
KI
2005
Springer
15 years 12 months ago
2005
Springer
In this paper we present a highly modular planning system architecture. It is based on a proper formal account of hybrid planning, which allows for the formal definition of (flex...
158
click to vote
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper investigates a complexity-effective technique for verifying a highly distributed directory-based cache coherence protocol. We develop a novel approach called “witnes...