Sciweavers

3498 search results - page 272 / 700
» Role Model Based Framework Design and Integration
Sort
View
ECMDAFA
2006
Springer
142views Hardware» more  ECMDAFA 2006»
15 years 9 months ago
Ontology-Based Composition and Transformation for Model-Driven Service Architecture
Building service-based architectures has become a major area of interest since the advent of Web services. Modelling these architectures is a central activity. Model-driven archite...
Claus Pahl
JUCS
2000
102views more  JUCS 2000»
15 years 6 months ago
Towards Two-Level Formal Modeling of Computer-Based Systems
: Embedded Computer-based Systems are becoming highly complex and hard to implement because of the large number of concerns the designers have to address. These systems are tightly...
Gabor Karsai, Greg Nordstrom, Ákos Lé...
IWFM
2000
167views Formal Methods» more  IWFM 2000»
15 years 7 months ago
An Algebraic Basis for Specifying and Enforcing Access Control in Security Systems
Security services in a multi-user environment are often based on access control mechanisms. Static of an access control policy can be formalised using abstract algebraic models. W...
Claus Pahl
PRDC
2005
IEEE
15 years 11 months ago
On Automating Failure Mode Analysis and Enhancing its Integrity
This paper reports our experience on the development of a design-for-safety (DFS) workbench called Risk Assessment and Management Environment (RAME) for microelectronic avionics s...
Kam S. Tso, Ann T. Tai, Savio N. Chau, Leon Alkala...
CSCW
1996
ACM
15 years 10 months ago
An Integrating, Transformation-Oriented Approach to Concurrency Control and Undo in Group Editors
Concurrency control and group undo are important issues in the design of groupware, especially for interactive group editors. We present an improved versionofanexistingdistributed...
Matthias Ressel, Doris Nitsche-Ruhland, Rul Gunzen...