5096 search results - page 731 / 1020 » Associations as a Language Construct |
168
click to vote
BIRTHDAY
2005
Springer
16 years 6 days ago
2005
Springer
Constructing a program from a specification is a long-known general and fundamental problem. Besides its theoretical interest, this question also has practical implications, since...
160
click to vote
BPM
2005
Springer
16 years 6 days ago
2005
Springer
The 20 workflow patterns proposed by Van der Aalst et al. provide a comprehensive benchmark for comparing control flow aspects of process modelling languages. In this paper, we p...
165
click to vote
CP
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Many symmetry breaking techniques assume that the symmetries of a CSP are given as input in addition to the CSP itself. We present a method that can be used to detect all...
182
click to vote
CSL
2005
Springer
16 years 6 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...
196
click to vote
DSVIS
2005
Springer
16 years 6 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...