10072 search results - page 1458 / 2015 » Composition of Model Programs |
173
click to vote
HPCC
2009
Springer
15 years 11 months ago
2009
Springer
Experience has shown that development using shared-memory concurrency, the prevalent parallel programming paradigm today, is hard and synchronization primitives nonintuitive becaus...
206
click to vote
ATAL
2006
Springer
15 years 11 months ago
2006
Springer
In dangerous and uncertain environments initial plans must be revised. Communication failures hamper this replanning. We introduce fractured subteams as a novel formalism for mode...
203
click to vote
DCOSS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Resource constrained systems often are programmed using an eventbased model. Many applications do not lend themselves well to an event-based approach, but preemptive mult...
213
click to vote
ESAW
2000
Springer
15 years 10 months ago
2000
Springer
The design and development of Internet applications can take advantage of a paradigm based on autonomous and mobile agents. However, agent mobility introduces peculiar coordinatio...
243
click to vote
JAVACARD
2000
15 years 10 months ago
2000
: Open-cards have introduced a new life cycle for smart card embedded applications. In the case of Java Card, they have raised the problem of embedded object-oriented applet valida...