2390 search results - page 171 / 478 » Architectural Views and Alternatives |
161
click to vote
JHSN
2006
15 years 6 months ago
2006
With the growing interest in service-oriented architectures, achieving seamless interoperability between heterogeneous middleware technologies has become increasingly important. W...
159
click to vote
GSEM
2004
Springer
15 years 12 months ago
2004
Springer
The Semantic Grid aims at enhancing Grid architectures by knowledge engineering techniques. The service notion is central in this approach. Service-level agreements, called contrac...
150
click to vote
EPIA
1999
Springer
15 years 10 months ago
1999
Springer
We introduce a resource adaptive agent mechanism which supports the user of an interactive theorem proving system. The mechanism, an extension of 5 , uses a two layered architectur...
152
click to vote
ICLP
2007
Springer
15 years 10 months ago
2007
Springer
We describe the combination of OWL and F-Logic for the architecture of Semantic Web application nodes. The approach has been implemented by combining an existing Jena-based archite...
192
click to vote
DAC
1997
ACM
15 years 10 months ago
1997
ACM
We present our experiences with the formal verification of an automotive chip used to control the safety features in a car. We used a BDD based model checker in our work. We descr...