1471 search results - page 169 / 295 » Church: a language for generative models |
178
click to vote
JCS
2008
15 years 6 months ago
2008
We present a framework for evaluating and generating access control policies. The framework contains a modelling formalism called RW, which is supported by a model checking tool. ...
213
click to vote
CASES
2006
ACM
16 years 10 days ago
2006
ACM
Developing an optimizing compiler for a newly proposed architecture is extremely difficult when there is only a simulator of the machine available. Designing such a compiler requ...
153
click to vote
ECBS
2006
IEEE
16 years 12 days ago
2006
IEEE
For complex systems that are reusing intellectual property components, functional and compositional design correctness are an important part of the design process. Common system l...
245
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...
134
click to vote
FASE
2009
Springer
16 years 1 months ago
2009
Springer
Live Sequence Charts (LSCs) is a visual requirements language for specifying reactive system behavior. When modeling and designing open reactive systems, it is often essential to h...