4543 search results - page 493 / 909 » Interactive Distributed Configuration |
171
click to vote
CONCUR
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. In the quest for tractable methods for reasoning about concurrent algorithms both rely/guarantee logic and separation logic have made great advances. They both seek to ta...
159
click to vote
EEMMAS
2007
Springer
16 years 20 days ago
2007
Springer
We investigate the application of a logic-based framework representing an agent environment as a composite structure that evolves over time. Such a complex structure contains the i...
150
click to vote
EUROPAR
2007
Springer
16 years 20 days ago
2007
Springer
This paper introduces the design of SymGrid, a new Grid framework that will, for the first time, allow multiple invocations of symbolic computing applications to interact via the ...
177
click to vote
HUC
2007
Springer
16 years 19 days ago
2007
Springer
In this paper we present a new approach for cooperation between mobile smart objects and projector-camera systems to enable augmentation of the surface of objects with interactive ...
168
click to vote
TLCA
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. This paper proposes two typing systems for session interactions in higherorder mobile processes. Session types for the HOπ-calculus capture high-level structures nicatio...