Sciweavers

4356 search results - page 387 / 872
» Communicating Transactions - (Extended Abstract)
Sort
View
IFIPTCS
2000
15 years 10 months ago
Ambient Groups and Mobility Types
Abstract. We add name groups and group creation to the typed ambient calculus. Group creation is surprisingly interesting: it has the e ect of statically preventing certain communi...
Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon
PARA
2000
Springer
15 years 10 months ago
Ship Hull Hydrodynamic Analysis Using Distributed Shared Memory
Abstract. In this article we present the results obtained from the execution of a commercial Computational Fluid Dynamics program on a cluster of personal computers. The communicat...
João P. Marques Silva, Paulo Guedes
208
Voted
BIRTHDAY
2008
Springer
15 years 8 months ago
Temporal Verification of Probabilistic Multi-Agent Systems
Abstract. Probabilistic systems of interacting intelligent agents are considered. They have two sources of uncertainty: uncertainty of communication channels and uncertainty of act...
Michael I. Dekhtyar, Alexander Ja. Dikovsky, Mars ...
DIAGRAMS
2008
Springer
15 years 8 months ago
Estimating Effort for Trend Messages in Grouped Bar Charts
Abstract. Information graphics found in popular media contain communicative signals which help the viewer infer the graphic designer's intended message. One signal is the rela...
Richard Burns, Stephanie Elzer, Sandra Carberry
165
Voted
ECAI
2008
Springer
15 years 8 months ago
Single-peaked consistency and its complexity
Abstract. A common way of dealing with the paradoxes of preference aggregation consists in restricting the domain of admissible preferences. The most well-known such restriction is...
Bruno Escoffier, Jérôme Lang, Meltem ...