Sciweavers

3233 search results - page 259 / 647
» Rule Modeling and Markup
Sort
View
DALT
2005
Springer
15 years 11 months ago
Modelling Uncertainty in Agent Programming
Existing cognitive agent programming languages that are based on the BDI model employ logical representation and reasoning for implementing the beliefs of agents. In these programm...
Johan Kwisthout, Mehdi Dastani
PCM
2004
Springer
180views Multimedia» more  PCM 2004»
15 years 11 months ago
An Adaptive Scene Compositor Model in MPEG-4 Player for Mobile Device
Abstract. MPEG-4 supports dynamic scene composition through various interactions such as adding/removing/replacing objects and changing object’s properties. MPEG-4 content can ex...
Hyunju Lee, Sangwook Kim
ECBS
2010
IEEE
146views Hardware» more  ECBS 2010»
15 years 11 months ago
Design-Space Exploration through Constraint-Based Model-Transformation
Abstract—Many design steps during system development like functional partitioning, refactoring of the architecture, or the mapping to the platform - can be understood as an explo...
Bernhard Schätz, Florian Hölzl, Torbj&ou...
EDOC
2000
IEEE
15 years 10 months ago
Model Checking of Workflow Schemas
Practical experience indicates that the definition of realworld workflow applications is a complex and error-prone process. Existing workflow management systems provide the means,...
Christos T. Karamanolis, Dimitra Giannakopoulou, J...
SIGSOFT
1998
ACM
15 years 9 months ago
Formal Modeling and Analysis of the HLA Component Integration Standard
An increasingly important trend in the engineering of complex systems is the design of component integration standards. Such standards de ne rules of interaction and shared commun...
Robert Allen, David Garlan