690 search results - page 50 / 138 » Testing Temporal Logic Properties in Distributed Systems |
105
Voted
LPAR
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. The mechanisation of proofs for probabilistic systems is particularly challenging due to the verification of real-valued properties that probability entails: experience ...
87
Voted
CORR
2011
Springer
14 years 4 months ago
2011
Springer
— This paper discusses some topics related to the latest trends in the field of evolutionary approaches to iris recognition. It presents the results of an exploratory experimenta...
117
click to vote
ECRTS
2008
IEEE
15 years 7 months ago
2008
IEEE
Embedded services and applications that interact with the real world often, over time, need to run on different kinds of hardware (low-cost microcontrollers to powerful multicore ...
156
click to vote
BIRTHDAY
2012
Springer
13 years 8 months ago
2012
Springer
Embedded systems must interact with their real-time environment in a timely and dependable fashion. Most embeddedsystems architectures and design processes consider “nonfunction...
104
click to vote
FSTTCS
2006
Springer
15 years 4 months ago
2006
Springer
We establish a decidability boundary of the model checking problem for infinite-state systems defined by Process Rewrite Systems (PRS) or weakly extended Process Rewrite Systems (w...