Sciweavers

2696 search results - page 369 / 540
» Semantic Abstraction and Anaphora
Sort
View
FASE
2003
Springer
15 years 11 months ago
Modelling Recursive Calls with UML State Diagrams
Abstract. One of the principal uses of UML is the modelling of synchronous object-oriented software systems, in which the behaviour of each of several classes is modelled using a s...
Jennifer Tenzer, Perdita Stevens
GPCE
2003
Springer
15 years 11 months ago
SynchNet: A Petri Net Based Coordination Language for Distributed Objects
We present SynchNet, a compositional meta-level language for coordination of distributed. Its design is based on the principle of separation of concerns, namely separation of the c...
Reza Ziaei, Gul Agha
ICCBR
2003
Springer
15 years 11 months ago
An Investigation of Generalized Cases
In the CBR literature from the past 25 years there is a considerable amount of research work that makes use of cases that are subspaces of some representation space rather than poi...
Kerstin Maximini, Rainer Maximini, Ralph Bergmann
ACNS
2010
Springer
150views Cryptology» more  ACNS 2010»
15 years 11 months ago
Regulatory Compliant Oblivious RAM
Abstract. We introduce WORM-ORAM, a first mechanism that combines Oblivious RAM (ORAM) access privacy and data confidentiality with Write Once Read Many (WORM) regulatory data re...
Bogdan Carbunar, Radu Sion
AISC
2010
Springer
15 years 11 months ago
Dimensions of Formality: A Case Study for MKM in Software Engineering
Abstract. We study the formalization process of a collection of documents created for a Software Engineering project from an MKM perspective. We analyze how document and collection...
Andrea Kohlhase, Michael Kohlhase, Christoph Lange...