819 search results - page 18 / 164 » Using Assumptions to Distribute CTL Model Checking |
91
Voted
EDO
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. We demonstratehow the use of synchronizationprimitives and threading policies in distributed object middleware can lead to deadlocks. We identify that objectmiddleware on...
116
click to vote
ISSTA
2009
ACM
15 years 5 months ago
2009
ACM
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...
EJWCN
2010
14 years 7 months ago
2010
Model checking (MC) is a formal verification technique which has known and still knows a resounding success in the computer science community. Realizing that the distributed power...
102
click to vote
ICPR
2010
IEEE
15 years 20 days ago
2010
IEEE
—The precision-recall curve (PRC) has become a widespread conceptual basis for assessing classification performance. The curve relates the positive predictive value of a classi...
74
Voted
ICPR
2002
IEEE
16 years 1 months ago
2002
IEEE
Recognizing human facial expression and emotion by computer is an interesting and challenging problem. In this paper we propose a method for recognizing emotions through facial ex...