480 search results - page 45 / 96 » Continuations for parallel logic programming |
101
Voted
BIRTHDAY
2009
Springer
15 years 6 months ago
2009
Springer
An extended specification for aspects, and a new verification method based on model checking are used to establish the correctness of strongly-invasive aspects, independently of a...
115
click to vote
ESOP
2003
Springer
15 years 7 months ago
2003
Springer
In complex systems, like robot plants, applications are built on top of a set of components, or devices. Each of them has particular individual constraints, and there are also log...
126
Voted
CAISE
2004
Springer
15 years 8 months ago
2004
Springer
Advanced Business Process Management (BPM) tools enable the decomposition of previously integrated and often ill-defined processes into reusable process modules. These process modu...
205
Voted
SOFTWARE
2011
14 years 9 months ago
2011
Developing parallel applications is notoriously difficult, but is even more complex for desktop applications. The added difficulties are primarily because of their interactive nat...
129
Voted
IPPS
2000
IEEE
15 years 7 months ago
2000
IEEE
We propose a high-level language based on rst order logic for expressing synchronization in concurrent object-oriented programs. The language allows the programmer to declaratively...