Sciweavers

3914 search results - page 183 / 783
» Automating SLA modeling
Sort
View
DLOG
2009
13 years 5 months ago
Validating Process Refinement with Ontologies
A crucial task in process management is the validation of process refinements. A process refinement is a process description in a more fine-grained representation. The refinement i...
Yuan Ren, Gerd Gröner, Jens Lemcke, Tirdad Ra...
IAT
2008
IEEE
14 years 2 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
JSW
2008
105views more  JSW 2008»
13 years 8 months ago
Reasoning Principles for Negotiating Agent
Automated negotiation is an important applying field of agent theory and technology. For the current agent theoretical models have some troubles in explaining the agent's nego...
Mukun Cao, Yuqiang Feng
LPNMR
2009
Springer
14 years 2 months ago
Applying ASP to UML Model Validation
We apply ASP to model validation in a CASE setting, where models are UML class diagrams and object diagrams are called “snapshots”. We present the design and implementation of ...
Mario Ornaghi, Camillo Fiorentini, Alberto Momigli...
FDL
2005
IEEE
14 years 1 months ago
Linearly graded behavioural analogue performance models
A concept of linearly graded statistical models for analogue performance evaluation is proposed and a suitable technique for automatic generation of analogue performance models us...
Xianqiang Ren, Tom J. Kazmierski