5159 search results - page 741 / 1032 » Structural Testing of Executables |
176
click to vote
WWW
2006
ACM
16 years 7 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...
216
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
Mining user access patterns from a continuous stream of Web-clicks presents new challenges over traditional Web usage mining in a large static Web-click database. Modeling user ac...
215
click to vote
KDD
2004
ACM
16 years 7 months ago
2004
ACM
In many applications that track and analyze spatiotemporal data, movements obey periodic patterns; the objects follow the same routes (approximately) over regular time intervals. ...
276
click to vote
POPL
2003
ACM
16 years 7 months ago
2003
ACM
We present a framework for applying memoization selectively. The framework provides programmer control over equality, space usage, and identification of precise dependences so tha...
215
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
We present an encoding that is able to specify LTL bounded model checking problems within the Bernays-Sch?onfinkel fragment of first-order logic. This fragment, which also correspo...