7529 search results - page 300 / 1506 » The Modula-3 Type System |
142
click to vote
ICFP
2005
ACM
16 years 6 months ago
2005
ACM
We propose an aspect-oriented programming (AOP) language called Aspectual Caml based on a strongly-typed functional language Objective Caml. Aspectual Caml offers two AOP mechanis...
146
click to vote
CONCUR
2009
Springer
16 years 1 months ago
2009
Springer
Theories identifying well-formed systems of processes—those that are free of communication errors and enjoy strong properties such as deadlock freedom—are based either on sessi...
179
click to vote
EDOC
2003
IEEE
15 years 12 months ago
2003
IEEE
One of the most significant limitations of current middleware platforms, both commercial and research, is that they typically support only a small, pre-defined, set of fundamental...
183
click to vote
ICDAR
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper, we propose a framework for engineering drawings recognition using a case-based approach. The key idea of our scheme is that, interactively, the user provides an exa...
161
click to vote
ASIAN
2003
Springer
15 years 12 months ago
2003
Springer
Predicate detection is an important problem in distributed systems. Based on the temporal interactions of intervals, there exists a rich class of modalities under which global pred...