6274 search results - page 851 / 1255 » Proofs, Programs, Processes |
163
click to vote
ICML
2004
IEEE
16 years 6 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...
156
click to vote
SIGSOFT
2008
ACM
16 years 6 months ago
2008
ACM
We propose a novel method for modular verification of web service compositions. We first use symbolic fixpoint computations to derive conditions on the incoming messages and relat...
149
click to vote
SIGSOFT
2005
ACM
16 years 6 months ago
2005
ACM
The continuous requirements of evolving a delivered software system and the rising cost of shutting down a running software system are forcing researchers and practitioners to fin...
149
click to vote
SIGSOFT
2003
ACM
16 years 6 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 ...
141
click to vote
WWW
2009
ACM
16 years 6 months ago
2009
ACM
The performance of server-side applications is becoming increasingly important as more applications exploit the Web application model. Extensive work has been done to improve the ...