4151 search results - page 545 / 831 » Language Driven System Design |
176
click to vote
IWMM
2009
Springer
16 years 1 months ago
2009
Springer
Magpie is a source-to-source transformation for C programs that enables precise garbage collection, where precise means that integers are not confused with pointers, and the liven...
178
click to vote
ICLP
2003
Springer
16 years 13 days ago
2003
Springer
Logic programming is based on the idea that computation is controlled inference. The Extended Andorra Model provides a very powerful framework that supports both co-routining and p...
222
click to vote
EDOC
2002
IEEE
16 years 5 days ago
2002
IEEE
While SOAP/XML is perceived as the appropriate interoperability level for web-services, companies compete to provide workflow-based tools for web-service integration. This paper p...
198
click to vote
EUSFLAT
2001
15 years 8 months ago
2001
Intelligent autonomous robots and multiagent systems, having different skills and capabilities for specific subtasks, have the potential to solve problems more efficiently and eff...
216
click to vote
FAST
2009
15 years 5 months ago
2009
Provenance capture as applied to execution oriented and interactive workflows is designed to record minute detail needed to support a "modify and restart" paradigm as we...