Sciweavers

11214 search results - page 371 / 2243
» Programming Multi-agent Systems
Sort
View
181
Voted
CC
2004
Springer
142views System Software» more  CC 2004»
16 years 5 days ago
A Symbolic Approach to Bernstein Expansion for Program Analysis and Optimization
Abstract. Several mathematical frameworks for static analysis of programs have been developed in the past decades. Although these tools are quite useful, they have still many limit...
Philippe Clauss, Irina Tchoupaeva
190
Voted
CICLING
2004
Springer
16 years 5 days ago
Towards Programming in Everyday Language: A Case for Email Management
Abstract. In order to extend the application domain of natural language interfaces to more realistic tasks without the decrease of user’s performance, it is desirable for users t...
Toru Sugimoto, Noriko Ito, Shino Iwashita, Michio ...
UPP
2004
Springer
16 years 3 days ago
Higher-Order Chemical Programming Style
The chemical reaction metaphor describes computation in terms of a chemical solution in which molecules interact freely according to reaction rules. Chemical solutions are represen...
Jean-Pierre Banâtre, Pascal Fradet, Yann Rad...
COSPS
2001
Springer
15 years 11 months ago
The Sisal Project: Real World Functional Programming
Programming massively-parallel machine is a daunting task for any human programmer and parallelization may even be impossible for any compiler. Instead, the functional programming ...
Jean-Luc Gaudiot, Thomas DeBoni, John Feo, A. P. W...
CP
2001
Springer
15 years 11 months ago
A Temporal Concurrent Constraint Programming Calculus
Abstract The tcc model is a formalism for reactive concurrent constraint programming. In this paper we propose a model of temporal concurrent constraint programming which adds to t...
Catuscia Palamidessi, Frank D. Valencia