11324 search results - page 1917 / 2265 » Coordination Models and Languages |
160
click to vote
IPPS
2005
IEEE
16 years 11 days ago
2005
IEEE
Common Language Infrastructure, or CLI, is a standardized virtual machine, which increasingly becomes popular on a wide range of platforms. In this paper we developed three I/O-in...
163
click to vote
LICS
2005
IEEE
16 years 11 days ago
2005
IEEE
The theme of this paper is profunctors, and their centrality and ubiquity in understanding concurrent computation. Profunctors (a.k.a. distributors, or bimodules) are a generalisa...
164
click to vote
QSIC
2005
IEEE
16 years 10 days ago
2005
IEEE
Many programs need to access data in a relational database. This is usually done by means of queries written in SQL. Although the language SQL is declarative, certain runtime erro...
158
click to vote
SEFM
2005
IEEE
16 years 10 days ago
2005
IEEE
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...
168
click to vote
WISE
2005
Springer
16 years 10 days ago
2005
Springer
Asynchronous interactions are becoming more and more important in the realization of complex B2B Web applications, and Web services are at the moment the most innovative and well-e...