Sciweavers

2370 search results - page 420 / 474
» On the Revival of Dynamic Languages
Sort
View
116
Voted
FUIN
2008
147views more  FUIN 2008»
15 years 22 days ago
A Basic Logic for Reasoning about Connector Reconfiguration
Abstract. Software systems evolve over time. From a component-based software engineering perspective, this means that either the components of the system need to change, or, if com...
Dave Clarke
ENTCS
2006
140views more  ENTCS 2006»
15 years 21 days ago
A Library for Self-Adjusting Computation
We present a Standard ML library for writing programs that automatically adjust to changes to their data. The library combines modifiable references and memoization to achieve eff...
Umut A. Acar, Guy E. Blelloch, Matthias Blume, Rob...
ENTCS
2006
109views more  ENTCS 2006»
15 years 21 days ago
Roles as a Coordination Construct: Introducing powerJava
In this paper we apply the role metaphor to coordination. Roles are used in sociology as a way to structure organizations and to coordinate their behavior. In our model, the featu...
Matteo Baldoni, Guido Boella, Leendert W. N. van d...
99
Voted
ENTCS
2006
100views more  ENTCS 2006»
15 years 21 days ago
Towards a Logic for Performance and Mobility
Klaim is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
Rocco De Nicola, Joost-Pieter Katoen, Diego Latell...
88
Voted
IJIS
2008
115views more  IJIS 2008»
15 years 21 days ago
A new semantics for ACL based on commitments and penalties
Abstract. In complex multi agent systems, the agents may be heterogeneous and possibly designed by different programmers. Thus, the importance of defining a standard framework for ...
Leila Amgoud, Florence Dupin de Saint-Cyr