Sciweavers

3689 search results - page 386 / 738
» A Language with Distributed Scope
Sort
View
159
Voted
ENTCS
2008
153views more  ENTCS 2008»
15 years 5 months ago
Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects
Current object-oriented approaches to distributed programs may be criticized in several respects. First, method calls are generally synchronous, which leads to much waiting in dis...
Johan Dovland, Einar Broch Johnsen, Olaf Owe
125
Voted
IANDC
2008
84views more  IANDC 2008»
15 years 5 months ago
A theory of system behaviour in the presence of node and link failure
We develop a behavioural theory of distributed programs in the presence of failures such as nodes crashing and links breaking. The framework we use is that of D, a language in whi...
Adrian Francalanza, Matthew Hennessy
167
Voted
JCM
2006
124views more  JCM 2006»
15 years 5 months ago
Policy Defined Spectrum sharing and medium Access for Cognitive Radios
Spectrum regulation will undergo elementary changes in the near future allowing a less restricted and more flexible access to radio spectrum. Intelligent radios, socalled cognitive...
Lars Berlemann, Stefan Mangold, Guido R. Hiertz, B...
EMNLP
2010
15 years 3 months ago
Hierarchical Phrase-Based Translation Grammars Extracted from Alignment Posterior Probabilities
We report on investigations into hierarchical phrase-based translation grammars based on rules extracted from posterior distributions over alignments of the parallel text. Rather ...
Adrià de Gispert, Juan Pino, William J. Byr...
POPL
2012
ACM
14 years 19 days ago
Deciding choreography realizability
Since software systems are becoming increasingly more concurrent and distributed, modeling and analysis of interactions among their components is a crucial problem. In several app...
Samik Basu, Tevfik Bultan, Meriem Ouederni