Sciweavers

6016 search results - page 793 / 1204
» The semantics of graphical languages
Sort
View
DALT
2007
Springer
16 years 1 months ago
Component-Based Standardisation of Agent Communication
We address the problem of standardising the semantics of agent communication. The diversity of existing approaches suggests that no single agent communication language can satisfac...
Frank Guerin, Wamberto Weber Vasconcelos
ESOP
2007
Springer
16 years 1 months ago
A Complete Guide to the Future
Abstract We present the semantics and proof system for an objectoriented language with active objects, asynchronous method calls, and futures. The language, based on Creol, disting...
Frank S. de Boer, Dave Clarke, Einar Broch Johnsen
FMCO
2007
Springer
169views Formal Methods» more  FMCO 2007»
16 years 1 months ago
An Object-Oriented Component Model for Heterogeneous Nets
Abstract. Many distributed applications can be understood in terms of components interacting in an open environment. This interaction is not always uniform as the network may consi...
Einar Broch Johnsen, Olaf Owe, Joakim Bjørk...
GPCE
2007
Springer
16 years 1 months ago
Aspects of availability
In this paper, we propose a domain-specific aspect language to prevent the denials of service caused by resource management. Our aspects specify availability policies by enforcin...
Pascal Fradet, Stéphane Hong Tuan Ha
SMALLTALK
2007
Springer
16 years 1 months ago
Encapsulating and exploiting change with changeboxes
Real world software systems change continuously to meet new demands. Most programming languages and development environments, however, are more concerned with limiting the effects...
Marcus Denker, Tudor Gîrba, Adrian Lienhard,...