6434 search results - page 927 / 1287 » Model Transformations with Reference Models |
209
click to vote
WWW
2004
ACM
16 years 5 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...
116
click to vote
WWW
2001
ACM
16 years 5 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 (...
138
click to vote
TCC
2009
Springer
16 years 5 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...
225
click to vote
POPL
2005
ACM
16 years 5 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 ...
111
click to vote
ICCAD
2003
IEEE
16 years 1 months ago
2003
IEEE
Detailed electromagnetic analysis of three-dimensional structures in multilayered dielectric media is critical for automatic generation of equivalent circuit models for the interc...