1005 search results - page 49 / 201 » Formal Software Development in MAYA |
148
click to vote
AAAI
2008
15 years 6 months ago
2008
The goal of my ongoing work is to provide an architecture for developing and manipulating modular ontologies in such a way that each ontology module can plug into or unplug from a...
122
click to vote
CCS
2004
ACM
15 years 10 months ago
2004
ACM
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have machine-checked a recent work of B...
148
click to vote
IESA
2007
15 years 6 months ago
2007
Domain ontology building is one of the most critical activities required in Semantic Web applications. The task must be performed by domain experts, who do not (generally) have the...
137
click to vote
DSRT
2005
IEEE
15 years 10 months ago
2005
IEEE
It is common practice to build complex systems from disparate sub-systems. Model composability is concerned with techniques for developing a whole model of a system from the model...
119
click to vote
COMCOM
2000
15 years 4 months ago
2000
This paper is devoted to the presentation of the RT-LOTOS formal description technique, which is a formalism suited for applications where concurrency, complex synchronization pat...