Sciweavers

2570 search results - page 394 / 514
» The Semantic Web And Its Languages
Sort
View
219
Voted
WIFT
1998
IEEE
153views Hardware» more  WIFT 1998»
15 years 11 months ago
Reasoning with UML Class Diagrams
The Unified Modeling Language (UML) is likely to become an important industry standard language for modelling object-oriented systems. However, its use as a precise analysis tool ...
Andy S. Evans
ECOOP
1998
Springer
15 years 11 months ago
Predicate Dispatching: A Unified Theory of Dispatch
Predicate dispatching generalizes previous method dispatch mechanisms by permitting arbitrary predicates to control method applicability and by using logical implication between pr...
Michael D. Ernst, Craig S. Kaplan, Craig Chambers
263
Voted
POS
1998
Springer
15 years 11 months ago
The Transactional Object Cache: A Foundation for High Performance Persistent System Construction
This paper argues that caching, atomicity and layering are fundamental to persistent systems, and that the transactional object cache architecture, as an embodiment of these conce...
Stephen Blackburn, Robin Stanton
179
Voted
POPL
1993
ACM
15 years 11 months ago
Formal Parametric Polymorphism
A polymorphic function is parametric if its behavior does not depend on the type at which it is instantiated. Starting with Reynolds's work, the study of parametricity is typ...
Martín Abadi, Luca Cardelli, Pierre-Louis C...
EPK
2006
132views Management» more  EPK 2006»
15 years 8 months ago
A Comparison of (e)EPCs and UML 2 Activity Diagrams
: In this paper, Event Process Chains (EPCs) and activity diagrams (ADs) of the Unified Modeling Language (UML) are compared with respect to (1) their syntax and its expressiveness...
Harald Störrle