2231 search results - page 295 / 447 » Alternation as a programming paradigm |
151
Voted
HPCC
2005
Springer
16 years 15 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...
186
click to vote
ICALP
2005
Springer
16 years 15 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...
150
Voted
IFM
2005
Springer
16 years 15 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 ...
195
Voted
TACAS
2005
Springer
16 years 14 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...
180
Voted
UM
2005
Springer
16 years 14 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...