8109 search results - page 1055 / 1622 » A Model of Component-Based Programming |
214
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...
214
click to vote
DCOSS
2006
Springer
15 years 11 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...
219
click to vote
ESAW
2000
Springer
15 years 11 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...
248
click to vote
JAVACARD
2000
15 years 11 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...
231
click to vote
POPL
1991
ACM
15 years 11 months ago
1991
ACM
We investigate the interactions of subtyping and recursive types, in a simply typed λ-calculus. The two fundamental questions here are whether two (recursive) types are in the su...