2364 search results - page 41 / 473 » An Engine for Computing Well-Founded Models |
DAC
2001
ACM
16 years 23 days ago
2001
ACM
roperty Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines Dong Wang , Pei-Hsin Ho , Jiang Long , James Kukula Yunshan Zhu , Tony Ma , Robert D...
ECAI
1994
Springer
15 years 3 months ago
1994
Springer
This paper describes a computational model of similarity developed to support analogical software reuse. Similarity is computed from conceptual descriptions of software artifacts o...
EUROPAR
2006
Springer
15 years 3 months ago
2006
Springer
Parallel performance tuning naturally involves a diagnosis process to locate and explain sources of program inefficiency. Proposed is an approach that exploits parallel computation...
STORYTELLING
2007
Springer
15 years 6 months ago
2007
Springer
Virtual agents, to be expressive, not only need algorithms for displaying the subtleties of human behaviour, but also require environments and tools so that people can author them....
116
click to vote
TGC
2005
Springer
15 years 5 months ago
2005
Springer
The Model-Driven Architecture (MDA) technology toolset includes a language for describing the structure of meta-data, the MOF, and a language for describing consistency properties ...