Sciweavers

490 search results - page 31 / 98
» A structured operational semantics for UML-statecharts
Sort
View
VMV
2008
197views Visualization» more  VMV 2008»
13 years 10 months ago
1-2-tree: Semantic Modeling and Editing of Trees
In computer graphics, procedural methods and Lsystems are common approaches to model complex botanical trees. In contrast to previous tree modeling systems, we propose linking rul...
Björn Ganster, Reinhard Klein
FASE
2001
Springer
14 years 1 months ago
A CSP View on UML-RT Structure Diagrams
Abstract. UML-RT is an extension of UML for modelling embedded reactive and real-time software systems. Its particular focus lies on system descriptions on the architectural level,...
Clemens Fischer, Ernst-Rüdiger Olderog, Heike...
EJC
2003
13 years 10 months ago
A Theory of Signs for Database Semantics
The goal of this paper is to build a bridge from a certain intuitive conception of natural language communication, called the SLIM theory of language, to a technical approach, cal...
Roland Hausser
CANS
2006
Springer
136views Cryptology» more  CANS 2006»
14 years 17 days ago
Watermarking Essential Data Structures for Copyright Protection
Software watermarking is a new research area that aims at providing copyright protection for commercial software. It minimizes software piracy by hiding copyright signatures inside...
Qutaiba Albluwi, Ibrahim Kamel
P2P
2006
IEEE
229views Communications» more  P2P 2006»
14 years 2 months ago
Cost-Aware Processing of Similarity Queries in Structured Overlays
Large-scale distributed data management with P2P systems requires the existence of similarity operators for queries as we cannot assume that all users will agree on exactly the sa...
Marcel Karnstedt, Kai-Uwe Sattler, Manfred Hauswir...