2364 search results - page 211 / 473 » An Engine for Computing Well-Founded Models |
167
Voted
DOCENG
2010
ACM
15 years 2 months ago
2010
ACM
This work addresses what we believe to be a central issue in the field of XML diff and merge computation: the mathematical modeling o-called editing deltas and the study of their ...
140
click to vote
FOSSACS
2007
Springer
15 years 11 months ago
2007
Springer
We use the framework of biorthogonality to introduce a novel semantic definition of the concept of barb (basic observable) for process calculi. We develop a uniform basic theory o...
148
click to vote
PERCOM
2010
ACM
15 years 3 months ago
2010
ACM
—In the environments where heterogeneous devices need to share information, utilize services of each other, and participate as components in various smart applications, it is com...
142
click to vote
DAC
2002
ACM
16 years 6 months ago
2002
ACM
The ForSyDe methodology has been developed for system level design. In this paper we present formal transformation methods for the refinement of an abstract and formal system mode...
147
click to vote
CCGRID
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper describes the integration of the High Level Architecture (HLA), an IEEE standard for distributed interactive simulation, with a scientific software package (Scilab) and...