36 search results - page 6 / 8 » A Foundation for Refining Concurrent Objects |
BPM
2004
Springer
14 years 26 days ago
2004
Springer
While collaboration has become a basic requirement for many development environments, solutions for collaborative modeling are far from being satisfact1ory. OPCATeam, which relies ...
ICFP
2003
ACM
14 years 7 months ago
2003
ACM
Most programming languages adopt static binding, but for distributed programming an exclusive reliance on static binding is too restrictive: dynamic binding is required in various...
JFP
2008
13 years 7 months ago
2008
Most programming languages adopt static binding, but for distributed programming an exclusive reliance on static binding is too restrictive: dynamic binding is required in various...
MVA
2011
13 years 2 months ago
2011
: In this paper we discuss theoretical foundations and a practical realization of a real-time traffic sign detection, tracking and recognition system operating on board of a vehicl...
ESOP
2009
Springer
13 years 11 months ago
2009
Springer
Ownership types characterize the topology of objects in the heap, through a characterization of the context to which an object belongs. They have been used to support reasoning, me...