Sciweavers

263 search results - page 33 / 53
» The Conceptual Integration Modeling Framework: Abstracting f...
Sort
View
GI
2005
Springer
14 years 28 days ago
Automated Quality Assurance for UML Models
Abstract: Model based development, like proposed by the OMG’s Model Driven Arre (MDA), aims to raise the level of abstraction from working on the code to working with models. For...
Tilman Seifert, Florian Jug, Günther Rackl
ICOODB
2010
171views Database» more  ICOODB 2010»
13 years 5 months ago
Data Model Driven Implementation of Web Cooperation Systems with Tricia
Abstract. We present the data modeling concepts of Tricia, an opensource Java platform used to implement enterprise web information systems as well as social software solutions inc...
Thomas Büchner, Florian Matthes, Christian Ne...
EPK
2004
215views Management» more  EPK 2004»
13 years 8 months ago
ARIS meets RUP: The ARIS Unified Information System Development Process
Abstract: Starting from the Rational Unified Process RUP and the ARIS life cycle model the ARIS Unified Information System Development Process AUP is designed. Similar as the RUP i...
Martin Plümicke
IWFM
2000
167views Formal Methods» more  IWFM 2000»
13 years 8 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
IEEEPACT
2009
IEEE
14 years 2 months ago
Polyhedral-Model Guided Loop-Nest Auto-Vectorization
Abstract—Optimizing compilers apply numerous interdependent optimizations, leading to the notoriously difficult phase-ordering problem — that of deciding which transformations...
Konrad Trifunovic, Dorit Nuzman, Albert Cohen, Aya...