924 search results - page 165 / 185 » An expressive aspect language for system applications with A... |
CHARME
2005
Springer
14 years 2 months ago
2005
Springer
The application of model-checking tools to complex systems involves a nontrivial step of modelling the system by a finite-state model and a translation of the desired properties i...
SAFECOMP
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. In this paper we describe a novel concept for reliability analysis of communication architectures in safety-critical systems. This concept has been motivated by applicati...
SEMWEB
2004
Springer
14 years 2 months ago
2004
Springer
In this paper we describe our experience in applying KAoS services to ensure policy compliance for Semantic Web Services workflow composition and enactment. We are developing thes...
RR
2007
Springer
14 years 2 months ago
2007
Springer
For the foreseeable future, most data will continue to be stored in relational databases. To work with these data in ontology-based applications, tools and techniques that bridge t...
IDEAS
2006
IEEE
14 years 2 months ago
2006
IEEE
The paper presents a framework for publishing relational databases in textual documents such as mails, HTML pages, LATEX or BibTex files, plain texts, etc. The publication proces...