2625 search results - page 394 / 525 » The development of the Emerald programming language |
164
click to vote
EAGC
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we propose a computational grid platform called JaWS++ that seeks to harvest the power of idle pools of workstations connected through the Internet and integrate them...
157
click to vote
GPCE
2004
Springer
15 years 11 months ago
2004
Springer
This paper describes our experience with developing a product line for middleware-based versioning systems. We perform a detailed domain analysis and define a DSL for configuring i...
200
click to vote
RTAS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper provides two contributions to the study of programming languages and middleware for real-time and embedded applications. First, we present the empirical results from ap...
157
click to vote
CONCUR
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We extend Kobayashi and Sumii’s type system for the deadlock-free π-calculus and develop a type reconstruction algorithm. Kobayashi and Sumii’s type system helps hig...
167
click to vote
HICSS
1998
IEEE
15 years 10 months ago
1998
IEEE
We utilize the situation calculus to develop a logical model of hypertext systems. The work builds upon the earlier work of Bieber and Kimbrough in the logical modeling of hyperte...