Sciweavers

5353 search results - page 749 / 1071
» Modelling Contexts in the Or-BAC Model
Sort
View
APSEC
2004
IEEE
15 years 10 months ago
Tool Supported Development of Service-Based Systems
Service-based systems engineering is a recent paradigm that has proven useful for the development of multifunctional systems, whose functions may be used in different contexts and...
Martin Deubler, Johannes Grünbauer, Gerhard P...
ASWEC
2004
IEEE
15 years 10 months ago
UML Documentation Support for XML Schema
With the proliferation of XML as the lingua franca of internet information exchange, engineering XML documents and maintaining their databases becomes a major challenge. In this c...
Flora Dilys Salim, Rosanne Price, Shonali Krishnas...
BIRTHDAY
2006
Springer
15 years 10 months ago
Research Perspectives for Logic and Deduction
The article is meant to be kind of the author's manifesto for the role of logic and deduction within Intellectics. Based on a brief analysis of this role the paper presents a...
Wolfgang Bibel
CAV
2006
Springer
164views Hardware» more  CAV 2006»
15 years 10 months ago
Allen Linear (Interval) Temporal Logic - Translation to LTL and Monitor Synthesis
The relationship between two well established formalisms for temporal reasoning is first investigated, namely between Allen's interval algebra (or Allen's temporal logic,...
Grigore Rosu, Saddek Bensalem
CCIA
2006
Springer
15 years 10 months ago
Extending the BDI architecture with commitments
Abstract. In this paper, we describe a novel agent architecture for normative multiagent systems which is based on multi-context systems. It models the three modalities of Rao and ...
Dorian Gaertner, Pablo Noriega, Carles Sierra