11168 search results - page 254 / 2234 » Abstract State Processes |
167
click to vote
ICWE
2005
Springer
16 years 6 days ago
2005
Springer
: Web-portal application development needs to be improved by comprehensive testing processes and practices. Building the initial knowledge by evaluating and improving the state of ...
174
click to vote
WOSP
2004
ACM
16 years 4 days ago
2004
ACM
This paper describes how soft performance bounds can be expressed for software systems using stochastic probes over stochastic process algebra models. These stochastic probes are ...
193
Voted
ICIP
2002
IEEE
15 years 11 months ago
2002
IEEE
We present an application of digital image processing for the analysis of the medieval mosaic conservation. The reconstructed art piece was the ”The Last Judgement” mosaic, si...
176
click to vote
ENTCS
2008
15 years 6 months ago
2008
This paper explores a unification of the ideas of Concurrent Separation Logic with those of Communicating Sequential Processes. It extends separation logic by an operator for sepa...
158
click to vote
ORL
2007
15 years 6 months ago
2007
In ergodic MDPs we consider stationary distributions of policies that coincide in all but n states, in which one of two possible actions is chosen. We give conditions and formulas...