Sciweavers

3856 search results - page 182 / 772
» Models for Automated Earthmoving
Sort
View
MDAFA
2004
Springer
178views Hardware» more  MDAFA 2004»
15 years 12 months ago
Model Bus: Towards the Interoperability of Modelling Tools
MDA software development requires the interoperability of a wide range of modelling services (operations taking models as inputs and outputs), such as model edition, model transfor...
Xavier Blanc, Marie-Pierre Gervais, Prawee Sriplak...
BPM
2009
Springer
124views Business» more  BPM 2009»
15 years 7 months ago
Faster and Better Business Process Modeling with the IBM Pattern-based Process Model Accelerators
Abstract. The IBM Pattern-based Process Model Accelerators add a set of patterns, transformations, refactoring operations, and a control-flow analysis feature to IBM WebSphere Busi...
Cédric Favre, Thomas Gschwind, Jana Koehler...
LICS
2009
IEEE
16 years 1 months ago
Applications of Game Semantics: From Program Analysis to Hardware Synthesis
After informally reviewing the main concepts from game semantics and placing the development of the field in a historical context we examine its main applications. We focus in pa...
Dan R. Ghica
DLOG
2009
15 years 7 months ago
Using Description Logics in Relation Based Access Control
Relation Based Access Control (RelBAC) is an access control model designed for the new scenarios of access control on Web 2.0. Under this model, we discuss in this paper how to for...
Rui Zhang, Alessandro Artale, Fausto Giunchiglia, ...
IAT
2008
IEEE
16 years 1 months ago
Relating Cognitive Process Models to Behavioural Models of Agents
From an external perspective, cognitive agent behaviour can be described by specifying (temporal) correlations of a certain complexity between stimuli (input states) and (re)actio...
Alexei Sharpanskykh, Jan Treur