4008 search results - page 365 / 802 » An expressive language of signatures |
158
click to vote
CLUSTER
2006
IEEE
16 years 27 days ago
2006
IEEE
One of the topics of paramount importance in the development of Cluster and Grid middleware is the impact of faults since their occurrence in Grid infrastructures and in large-sca...
206
click to vote
ERLANG
2006
ACM
16 years 24 days ago
2006
ACM
Termite Scheme is a variant of Scheme intended for distributed computing. It offers a simple and powerful concurrency model, inspired by the Erlang programming language, which is ...
178
click to vote
SAC
2006
ACM
16 years 23 days ago
2006
ACM
Aspect–Oriented Programming (AOP) is increasingly being adopted by developers to better modularize object–oriented design by introducing crosscutting concerns. However, due to...
197
click to vote
SEW
2005
IEEE
16 years 12 days ago
2005
IEEE
Compared with texts, graphs are more intuitive to express comparative and structural information. Many graphical approaches, however, lack a formal basis for precise specification...
167
click to vote
ESOP
2005
Springer
16 years 10 days ago
2005
Springer
Abadi-Leino Logic is a Hoare-calculus style logic for a simple imperative and object-based language where every object comes with its own method suite. Consequently, methods need t...