1005 search results - page 14 / 201 » Patterns for Refinement Automation |
DAC
2002
ACM
14 years 8 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...
DLOG
2008
13 years 9 months ago
2008
We propose an approach for extending domain knowledge represented in DL ontology by using knowledge extraction methods on ontology assertions. Concept and role assertions are extra...
GISCIENCE
2010
Springer
13 years 8 months ago
2010
Springer
Behavioral experiments addressing the conceptualization of geographic events are few and far between. Our research seeks to address this deficiency by developing an experimental fr...
CSFW
2010
IEEE
13 years 10 months ago
2010
IEEE
We consider the problem of automating open bisimulation checking for the spi-calculus, an extension of the pi-calculus with cryptographic primitives. The notion of open bisimulatio...
VLBV
2005
Springer
14 years 29 days ago
2005
Springer
A technique for performing progressive mesh-based motion estimation in a layered fashion is presented. Motion compensation based on image warping provides a block prediction free ...