Sciweavers

2930 search results - page 293 / 586
» A Constructive Approach to the Design of Distributed Systems
Sort
View
ATAL
2003
Springer
15 years 12 months ago
Dynamic Imputation of Agent Cognition
People can interact much more readily with a multi-agent system if they can understand it in cognitive terms. Modern work on “BDI agents” emphasizes explicit representation of ...
H. Van Dyke Parunak, Sven Brueckner
DATE
2010
IEEE
168views Hardware» more  DATE 2010»
15 years 11 months ago
Verifying UML/OCL models using Boolean satisfiability
Abstract--Nowadays, modeling languages like UML are essential in the design of complex software systems and also start to enter the domain of hardware and hardware/software codesig...
Mathias Soeken, Robert Wille, Mirco Kuhlmann, Mart...
ECTEL
2007
Springer
15 years 10 months ago
A Qualitative and Quantitative Evaluation of Adaptive Authoring of Adaptive Hypermedia
Currently, large amounts of research exist into the design and implementation of adaptive systems. The complex task of authoring of such systems, or their evaluation, is addressed ...
Maurice Hendrix, Alexandra I. Cristea
FUIN
2007
123views more  FUIN 2007»
15 years 6 months ago
Analysis of Approximate Petri Nets by Means of Occurrence Graphs
Abstract. Approximate Petri nets (AP-nets) can be used for the knowledge representation and approximate reasoning. The AP-net model is defined on the basis of the rough set approa...
Zbigniew Suraj, Barbara Fryc
COMPSAC
2002
IEEE
15 years 11 months ago
From MSC and UML to SDL
UML and MSC are widely used by software practitioners. SDL is an ITU standard language for telecommunications software specification. It has a formal semantics, and is supported b...
Stephan Bourduas, Ferhat Khendek, Daniel Vincent