Sciweavers

913 search results - page 2 / 183
» Full Abstraction for Linda
Sort
View
ESAW
2003
Springer
13 years 10 months ago
Using Swarm Intelligence in Linda Systems
Abstract. Natural forming multi-agent systems have the ability to grow to enormous sizes and perform seemingly complex tasks without the existence of any centralized control. Their...
Robert Tolksdorf, Ronaldo Menezes
FMCO
2004
Springer
112views Formal Methods» more  FMCO 2004»
13 years 10 months ago
Probabilistic Linda-Based Coordination Languages
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...
INFSOF
1998
78views more  INFSOF 1998»
13 years 5 months ago
Program slices as an abstraction for cohesion measurement
Slices as an Abstraction for Cohesion Measurement Linda M. Ott Michigan Technological University James M. Bieman Colorado State University The basis for measuring many attributes ...
Linda M. Ott, James M. Bieman
ENTCS
2006
125views more  ENTCS 2006»
13 years 5 months ago
On Timed Models and Full Abstraction
models and full abstraction Gavin Lowe and Jo
Gavin Lowe, Joël Ouaknine
AGP
1994
IEEE
13 years 9 months ago
An Abstract Interpretation Framework for (almost) Full Prolog
act Interpretation Framework for (almost) Full Prolog1 B. Le Charlier S. Rossi P. Van Hentenryck University of Namur University of Padova Brown University 21 rue Grandgagnage 7 via...
Baudouin Le Charlier, Sabina Rossi, Pascal Van Hen...