Sciweavers

4737 search results - page 696 / 948
» The LOGIC negotiation model
Sort
View
ICLP
2003
Springer
16 years 14 days ago
Concurrency, Time, and Constraints
Concurrent constraint programming (ccp) is a model of concurrency for systems in which agents (also called processes) interact with one another by telling and asking information in...
Frank D. Valencia
ECMDAFA
2010
Springer
112views Hardware» more  ECMDAFA 2010»
16 years 2 days ago
Joint Language and Domain Engineering
Abstract. In domain-specific development model-driven development environments play an important role. Most of these environments only provide support for language engineering, bu...
Tobias Walter, Fernando Silva Parreiras, Steffen S...
EDCC
2010
Springer
16 years 2 days ago
Dependability Analysis of Diffusion Protocols in Wireless Networks with Heterogeneous Node Capabilities
Wireless networks are starting to be populated by interconnected devices that reveal remarkable hardware and software differences. This fact raises a number of questions on the ap...
Paolo Masci, Silvano Chiaradonna, Felicita Di Gian...
CONTEXT
2001
Springer
15 years 11 months ago
On the Dimensions of Context Dependence: Partiality, Approximation, and Perspective
Abstract. In this paper we propose to re-read the past work on formalizing context as the search for a logic of the relationships between partial, approximate, and perspectival the...
Massimo Benerecetti, Paolo Bouquet, Chiara Ghidini
SAC
2000
ACM
15 years 11 months ago
A Coordination Language for Collective Agent Based Systems: GroupLog
We describe a language providing concepts for modeling autonomous entities (agents) and cooperating entities (groups). Agents are the execution units of a GroupLog program. Each a...
Fernanda Barbosa, José C. Cunha