2722 search results - page 327 / 545 » Automating Language Evolution |
148
click to vote
DAC
2001
ACM
16 years 5 months ago
2001
ACM
We describe two things. First, we present a uniform framework for object oriented specification and verification of hardware. For this purpose the object oriented language `e'...
108
click to vote
DAC
2004
ACM
16 years 5 months ago
2004
ACM
In this paper, we systematically define three transaction level TLMs), which reside at different levels of abstraction between the functional and the implementation model of a DSP...
114
click to vote
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
Despite the automated refactoring support provided by today's IDEs many program transformations that are easy to conceptualize-such as improving the implementation of a desig...
119
click to vote
WWW
2006
ACM
16 years 4 months ago
2006
ACM
In this paper we introduce our multi metamodel process ontology (m3po), which is based on various existing reference models and languages from the workflow and choreography domain...
258
click to vote
ICLP
2009
Springer
16 years 4 months ago
2009
Springer
As a novel, grand AI challenge, General Game Playing is concerned with the development of systems that understand the rules of unknown games and play these games well without human...