1879 search results - page 141 / 376 » Extending Reflective Architectures |
126
click to vote
DAC
1999
ACM
15 years 8 months ago
1999
ACM
Abstract We describe the use of parametric representations of Boolean predicates to encode data-space constraints and signi cantly extend the capacity of formal veri cation. The co...
143
click to vote
DEXAW
1998
IEEE
15 years 8 months ago
1998
IEEE
In this paper we present a software architecture which facilitates nomadic computing in an Open Distributed Computing environment. We introduce a model for the description of mobi...
106
Voted
COMPSAC
2004
IEEE
15 years 8 months ago
2004
IEEE
The emerging service grids bring together various distributed application-level services to a `market' for clients to request and enable the integration of services across di...
119
click to vote
EPK
2007
15 years 5 months ago
2007
: Today, architecture and business processes are modeled separately. The only integration in architectural diagrams is done with Petri nets in the Fundamental Modeling Concept. Sin...
120
click to vote
COLING
1994
15 years 5 months ago
1994
We present an integrated architecture for word-level and sentence-level processing in a unification-based paradigm. The core of the system is a CLP implementation of a nnilication...