Sciweavers

1418 search results - page 124 / 284
» The Dynamic Complexity of Formal Languages
Sort
View
QI
2009
Springer
139views Physics» more  QI 2009»
15 years 11 months ago
Nonseparability of Shared Intentionality
According to recent studies in developmental psychology and neuroscience, symbolic language is essentially intersubjective. Empathetically relating to others renders possible the a...
Christian Flender, Kirsty Kitto, Peter Bruza
ESOP
2007
Springer
15 years 10 months 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
ECOWS
2009
Springer
15 years 11 months ago
A Model and Algorithm for Self-Adaptation in Service-oriented Systems
Abstract—In this paper, we address the problem of selfadaptation in internet-scale service-oriented systems. Services need to adapt by select the best neighboring services solely...
Christoph Dorn, Daniel Schall, Schahram Dustdar
ICFP
2008
ACM
16 years 4 months ago
Functional netlists
In efforts to overcome the complexity of the syntax and the lack of formal semantics of conventional hardware description languages, a number of functional hardware description la...
Sungwoo Park, Jinha Kim, Hyeonseung Im
LICS
2006
IEEE
15 years 10 months ago
PSPACE Bounds for Rank-1 Modal Logics
aic semantics, which conveniently abstracts from the details of a given model class and thus allows covering a broad range of logics in a uniform way. Categories and Subject Descri...
Lutz Schröder, Dirk Pattinson