3921 search results - page 536 / 785 » Transforming Models with ATL |
157
click to vote
ISBI
2008
IEEE
16 years 7 months ago
2008
IEEE
Due to the random nature of photon emission and the various internal noise sources of the detectors, real timelapse fluorescence microscopy images are usually modeled as the sum o...
254
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
This paper presents automatic generation of the Web Ontology Language (OWL) from an UML model. The solution is based on an MDA-defined architecture for ontology development and th...
152
click to vote
WWW
2001
ACM
16 years 7 months ago
2001
ACM
This paper presents the XML/XSL approach to the development of a web environment for the formal speci cation language Object-Z. The projection techniques and tools from Object-Z (...
176
click to vote
TCC
2009
Springer
16 years 7 months ago
2009
Springer
We present a compiler for transforming an oblivious transfer (OT) protocol secure against an adaptive semi-honest adversary into one that is secure against an adaptive malicious ad...
257
click to vote
POPL
2005
ACM
16 years 7 months ago
2005
ACM
We define a language CQP (Communicating Quantum Processes) for modelling systems which combine quantum and classical communication and computation. CQP combines the communication ...