1274 search results - page 162 / 255 » New Proofs for |
POPL
2009
ACM
14 years 10 months ago
2009
ACM
We propose a new verification method for temporal properties of higher-order functional programs, which takes advantage of Ong's recent result on the decidability of the mode...
FOCS
2009
IEEE
14 years 4 months ago
2009
IEEE
—We introduce a new tool for approximation and testing algorithms called partitioning oracles. We develop methods for constructing them for any class of bounded-degree graphs wit...
WECWIS
2008
IEEE
14 years 4 months ago
2008
IEEE
Today’s development and provision of commercially used Web services has shifted from providing static and predefined functionality to highly configurable services that can be ...
HICSS
2007
IEEE
14 years 4 months ago
2007
IEEE
The recent emergence of web mash-ups and open source software is driving the development of new practices in software and systems development. In this paper we explore novel pract...
IAT
2007
IEEE
14 years 4 months ago
2007
IEEE
Here we revisit ADOPT-ing and bring two new contributions. One contribution consists of developing variations on the algorithms keeping the improvement in length of chain of causa...