3446 search results - page 637 / 690 » A Reasoning Algorithm for pD* |
141
click to vote
SIGSOFT
2008
ACM
16 years 2 months ago
2008
ACM
Atomicity is an important specification that enables programmers to understand atomic blocks of code in a multi-threaded program as if they are sequential. This significantly simp...
140
click to vote
SIGSOFT
2007
ACM
16 years 2 months ago
2007
ACM
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...
101
click to vote
WWW
2008
ACM
16 years 2 months ago
2008
ACM
Service discovery employs matching techniques to select services by comparing their descriptions against user constraints. Semantic-based matching approaches achieve higher recall...
104
click to vote
WWW
2008
ACM
16 years 2 months ago
2008
ACM
Online collaboration and sharing is the central theme of many webbased services that create the so-called Web 2.0 phenomena. Using the Internet as a computing platform, many Web 2...
225
click to vote
PLDI
2009
ACM
16 years 2 months ago
2009
ACM
As computer systems continue to become more powerful and comdo programs. High-level abstractions introduced to deal with complexity in large programs, while simplifying human reas...