Sciweavers

1330 search results - page 101 / 266
» Modeling components and frameworks with UML
Sort
View
POPL
2012
ACM
14 years 17 min ago
Deciding choreography realizability
Since software systems are becoming increasingly more concurrent and distributed, modeling and analysis of interactions among their components is a crucial problem. In several app...
Samik Basu, Tevfik Bultan, Meriem Ouederni
VALUETOOLS
2006
ACM
164views Hardware» more  VALUETOOLS 2006»
15 years 10 months ago
Analysis of Markov reward models using zero-suppressed multi-terminal BDDs
High-level stochastic description methods such as stochastic Petri nets, stochastic UML statecharts etc., together with specifications of performance variables (PVs), enable a co...
Kai Lampka, Markus Siegle
SEKE
2007
Springer
15 years 10 months ago
Towards Domain-Centric Ontology Development and Maintenance Frameworks
In this paper, we attempt to study and investigate ontology development and maintenance frameworks from a domain-centric point of view. By frameworks we mean the structures which ...
Faezeh Ensan, Weichang Du
SAINT
2003
IEEE
15 years 9 months ago
The FRESCO Framework: An Overview
—The dynamic composition of existing services into new services is at the core of service-oriented computing. The objective of FRESCO (Foundational Research on Service Compositio...
Giacomo Piccinelli, Christian Zirpins, Winfried La...
DBSEC
2001
129views Database» more  DBSEC 2001»
15 years 5 months ago
Secure Role-Based Workflow Models
: In this paper we introduce a series of reference models for Secure Role-Based Workflow systems. We build our models over the well-known RBAC96 framework. 96 model supports the no...
Savith Kandala, Ravi S. Sandhu