10575 search results - page 1710 / 2115 » Programming Languages |
180
click to vote
CP
2005
Springer
16 years 10 days ago
2005
Springer
An algorithm that performs asynchronous backtracking on distributed CSPs, with dynamic ordering of agents is proposed, ABT DO. Agents propose reorderings of lower priority agents a...
188
click to vote
CSL
2005
Springer
16 years 10 days ago
2005
Springer
In previous work we presented a foundational calculus for spatially distributed computing based on intuitionistic modal logic. With the modalities P and Q we were able to capture t...
200
click to vote
DSVIS
2005
Springer
16 years 10 days ago
2005
Springer
The calculus outlined in this paper provides a formal architectural framework for describing and reasoning about the properties of multi-user and mobile distributed interactive sys...
170
click to vote
FCA
2005
Springer
16 years 10 days ago
2005
Springer
Formal Concept Analysis (FCA) has typically been applied in the field of software engineering to support software maintenance and object-oriented class identification tasks. This...
146
click to vote
ICALP
2005
Springer
16 years 10 days ago
2005
Springer
In this paper we study the link between formal and cryptographic models for security protocols in the presence of a passive adversary. In contrast to other works, we do not conside...