Sciweavers

142 search results - page 21 / 29
» Petri nets and integrality relaxations: A view of continuous...
Sort
View
AIME
2009
Springer
13 years 7 months ago
Semantic Web-Based Modeling of Clinical Pathways Using the UML Activity Diagrams and OWL-S
: Clinical Pathways can be viewed as workflows, comprising an ordering of activities with associated execution constraints. Workflow models allow formal representation, analysis an...
Ali Daniyal, Syed Sibte Raza Abidi
STTT
2008
89views more  STTT 2008»
13 years 6 months ago
Modelling defence logistics networks
Military logistics concerns the activities required to support operational forces. It encompasses the storage and distribution of materiel, management of personnel and the provisio...
Guy Edward Gallasch, Nimrod Lilith, Jonathan Billi...
QEST
2007
IEEE
14 years 1 months ago
Performance Trees: Expressiveness and Quantitative Semantics
—Performance Trees are a recently-proposed mechanism for the specification of performance properties and measures. They represent an attractive alternative to stochastic logics,...
Tamas Suto, Jeremy T. Bradley, William J. Knottenb...
UML
2004
Springer
14 years 2 days ago
A Metamodel for Generating Performance Models from UML Designs
Several different kinds of performance models can be generated from sets of scenarios that describe typical responses of a system, and their use of resources. The Core Scenario Mod...
Dorin Bogdan Petriu, C. Murray Woodside
IJSEKE
2008
103views more  IJSEKE 2008»
13 years 6 months ago
A Modeling Methodology for Conflict Control in Multi-Agent Systems
- Multi-agent systems (MASs) have become an important topic in distributed systems research. These distributed multi-agent systems call for special software modeling methods that e...
Jiexin Lian, Sol M. Shatz