Sciweavers

8008 search results - page 17 / 1602
» Computer-Aided Language Processing
Sort
View
DAC
2007
ACM
15 years 1 months ago
Memory Modeling in ESL-RTL Equivalence Checking
When designers create RTL models from a system-level specification, arrays in the system-level model are often implemented as memories in the RTL. Knowing the correspondence betwe...
Alfred Kölbl, Jerry R. Burch, Carl Pixley
IJAOSE
2007
82views more  IJAOSE 2007»
14 years 9 months ago
West2East: exploiting WEb Service Technologies to Engineer Agent-based SofTware
This paper describes West2East, a Computer-Aided Agent-Oriented Software Engineering toolkit aimed at supporting the implementation of multiagent systems. West2East exploits langua...
Giovanni Casella, Viviana Mascardi
ESOP
2009
Springer
15 years 4 months ago
Abstract Processes in Orchestration Languages
Maria Grazia Buscemi, Hernán C. Melgratti