2231 search results - page 295 / 447 » Alternation as a programming paradigm |
145
click to vote
HPCC
2005
Springer
16 years 8 days ago
2005
Springer
A lot of sophisticated techniques and platforms have been proposed to build distributed object systems. Remote method invocation and explicit message passing on top of traditional...
182
click to vote
ICALP
2005
Springer
16 years 8 days ago
2005
Springer
We introduce a foundational language for modelling applications over global computers whose interconnection structure can be explicitly manipulated. Together with process distribut...
144
click to vote
IFM
2005
Springer
16 years 8 days ago
2005
Springer
We provide an automatic method for calculating the path condition for programs with real time constraints. This method can be used for the semiautomatic verification of a unit of ...
188
click to vote
TACAS
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Symmetry reduction is a technique to combat the state explosion problem in temporal logic model checking. Its use with symbolic representation has suffered from the proh...
172
click to vote
UM
2005
Springer
16 years 7 days ago
2005
Springer
In a collaborative environment, knowledge about collaborators’ skills is an important factor when determining which team members should perform a task. However, this knowledge ma...