8228 search results - page 1313 / 1646 » Structural Logical Relations |
159
click to vote
PLDI
2006
ACM
16 years 20 days 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 ...
174
click to vote
CCGRID
2005
IEEE
16 years 10 days 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...
188
Voted
PLDI
2005
ACM
16 years 8 days 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...
162
click to vote
AAMAS
2005
Springer
16 years 8 days 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...
187
click to vote
ATAL
2005
Springer
16 years 8 days 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...