Sciweavers

3885 search results - page 538 / 777
» Transformations for Write-All-with-Collision Model
Sort
View
UML
2005
Springer
16 years 2 days ago
Refactoring OCL Annotated UML Class Diagrams
Refactoring of UML class diagrams is an emerging research topic and heavily inspired by refactoring of program code written in object-oriented implementation languages. Current cla...
Slavisa Markovic, Thomas Baar
VMCAI
2005
Springer
16 years 2 days ago
Information Flow Analysis for Java Bytecode
Abstract. We present a context-sensitive compositional analysis of information flow for full (mono-threaded) Java bytecode. Our idea consists in transforming the Java bytecode int...
Samir Genaim, Fausto Spoto
COMPGEOM
2004
ACM
16 years 1 days ago
Pushing squares around
We study dynamic self-reconfiguration of modular metamorphic systems. We guarantee the feasibility of motion planning in a rectangular model consisting of square modules that are...
Adrian Dumitrescu, János Pach
HT
2004
ACM
16 years 1 days ago
Augmenting SCORM manifests with adaptive links
This paper describes an experiment to augment SCORM manifests with adaptive links using AuldLinky in order to promote content reusability, interoperability and personalized elearn...
Nor Aniza Abdullah, Christopher Bailey, Hugh C. Da...
ASIACRYPT
2004
Springer
16 years 9 hour ago
Generic Homomorphic Undeniable Signatures
We introduce a new computational problem related to the interpolation of group homomorphisms which generalizes many famous cryptographic problems including discrete logarithm, Di...
Jean Monnerat, Serge Vaudenay