Sciweavers

1177 search results - page 105 / 236
» A Theory of Role Composition
Sort
View
ISMVL
2007
IEEE
91views Hardware» more  ISMVL 2007»
16 years 14 days ago
Non-deterministic Multi-valued Matrices for First-Order Logics of Formal Inconsistency
Paraconsistent logic is the study of contradictory yet non-trivial theories. One of the best-known approaches to designing useful paraconsistent logics is da Costa’s approach, w...
Arnon Avron, Anna Zamansky
SMC
2007
IEEE
122views Control Systems» more  SMC 2007»
16 years 13 days ago
Can complexity science support the engineering of critical network infrastructures?
— Considerable attention is now being devoted to the study of “complexity science” with the intent of discovering and applying universal laws of highly interconnected and evo...
David Alderson, John C. Doyle
CONTEXT
2007
Springer
16 years 10 days ago
Similarity Measurement in Context
Context plays a crucial role when measuring the similarity of two concepts. Nonetheless, the modelling of context has been mostly neglected in existing similarity measurement theor...
Carsten Keßler
ESOP
2007
Springer
16 years 10 days ago
Structured Communication-Centred Programming for Web Services
This paper relates two different paradigms of descriptions of communication behaviour, one focussing on global message flows and another on end-point behaviours, using formal cal...
Marco Carbone, Kohei Honda, Nobuko Yoshida
ATAL
2004
Springer
15 years 11 months ago
Merging Globally Rigid Formations of Mobile Autonomous Agents
This paper is concerned with merging globally rigid formations of mobile autonomous agents. A key element in all future multi-agent systems will be the role of sensor and communic...
Tolga Eren, Brian D. O. Anderson, Walter Whiteley,...