8228 search results - page 1313 / 1646 » Structural Logical Relations |
129
click to vote
PLDI
2006
ACM
15 years 10 months ago
2006
ACM
Progressing beyond the productivity of present-day languages appears to require using domain-specific knowledge. Domain-specific languages and libraries (DSLs) proliferate, but ...
139
click to vote
CCGRID
2005
IEEE
15 years 10 months ago
2005
IEEE
ABSTRACT. Objectives. This paper addresses Grid-based integration and access of distributed data from infectious disease patient databases, literature on in-vitro and in-vivo pharm...
136
click to vote
PLDI
2005
ACM
15 years 10 months ago
2005
ACM
We present a multi-lingual type inference system for checking type safety across a foreign function interface. The goal of our system is to prevent foreign function calls from int...
132
click to vote
AAMAS
2005
Springer
15 years 10 months ago
2005
Springer
This paper presents a model for adaptive agents. The model describes the behavior of an agent as a graph of roles, in short a behavior graph. Links between roles provide conditions...
159
click to vote
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
Emergent processes are non-routine, collaborative business processes whose execution is guided by the knowledge that emerges during a process instance. In so far as the process go...