303 search results - page 3 / 61 » On the consistency, expressiveness, and precision of partial... |
ACSC
2004
IEEE
13 years 9 months ago
2004
IEEE
The Unified Modeling Language (UML) is widely used in the software development process for specification of system based on the object-oriented paradigm. Thought the current versi...
WFLP
2000
Springer
13 years 9 months ago
2000
Springer
We introduce a framework for assessing the effectiveness of partial evaluators in functional logic languages. Our framework is based on properties of the rewrite system that models...
LICS
2010
IEEE
13 years 4 months ago
2010
IEEE
—This paper establishes a bridge between presheaf models for concurrency and the more operationally-informative world of event structures. It concentrates on a particular preshea...
DAGSTUHL
2004
13 years 7 months ago
2004
Abstract. Model transformations are an integral part of OMG's standard for Model Driven Architecture (MDA). Model transformations should at the best allow for a seamless trans...
AAAI
2000
13 years 7 months ago
2000
We present a general, consistency-based framework for belief change. Informally, in revising K by , we begin with and incorporate as much of K as consistently possible. Formally, ...