558 search results - page 106 / 112 » Compiling Resources in a Linear Logic Programming Language |
ASE
2004
15 years 4 days ago
2004
er is concerned with an abstract exploration of code mobility constructs designed for use in settings where the level of granularity associated with the mobile units exhibits sign...
187
click to vote
POPL
2008
ACM
16 years 17 days ago
2008
ACM
An ad hoc data source is any semistructured data source for which useful data analysis and transformation tools are not readily available. Such data must be queried, transformed a...
122
click to vote
CORR
2010
Springer
15 years 11 days ago
2010
Springer
In many scientific domains, researchers are turning to large-scale behavioral simulations to better understand real-world phenomena. While there has been a great deal of work on s...
115
click to vote
TOMS
1998
14 years 12 months ago
1998
This paper presents the software architecture and implementation of the problem solving environment (PSE) PELLPACK for modeling physical objects described by partial differential ...
108
click to vote
JOT
2007
15 years 4 days ago
2007
Agents Interaction Protocols (AIPs) play a crucial role in multi-agents systems development. They allow specifying sequences of messages between agents. Major proposed protocols s...