2490 search results - page 331 / 498 » Complexity of Contextual Reasoning |
147
click to vote
ICML
2004
IEEE
16 years 5 months ago
2004
IEEE
Markov networks are extensively used to model complex sequential, spatial, and relational interactions in fields as diverse as image processing, natural language analysis, and bio...
123
click to vote
SIGSOFT
2009
ACM
16 years 5 months ago
2009
ACM
A large number of industrial concurrent programs are being designed based on a model which combines threads with event-based communication. These programs consist of several threa...
113
click to vote
SIGSOFT
2007
ACM
16 years 5 months ago
2007
ACM
Software testing is extensively used for uncovering bugs in large, complex software. Testing relies on well designed regression test suites that anticipate all reasonable software...
138
click to vote
SIGSOFT
2003
ACM
16 years 5 months ago
2003
ACM
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
129
click to vote
WWW
2006
ACM
16 years 5 months ago
2006
ACM
In this paper we describe an approach for the verification of Web service compositions defined by sets of BPEL processes. The key aspect of such a verification is the model adopte...