3335 search results - page 275 / 667 » Grid result checking |
153
click to vote
ICSE
2005
IEEE-ACM
16 years 6 months ago
2005
IEEE-ACM
AGENDA is a tool set for testing relational database applications. An earlier prototype was targeted to applications consisting of a single query and included components for popul...
199
click to vote
ESWS
2007
Springer
16 years 22 days ago
2007
Springer
: Service processes are becoming increasingly essential in modern economies as traditional, production-oriented industries decline. When comparing service processes to standard bus...
164
click to vote
ESAW
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. In open agent societies, communication protocols and strategies cannot be assumed to always match perfectly, because they are typically specified by different designers...
137
click to vote
MICRO
2000
IEEE
15 years 11 months ago
2000
IEEE
A slipstream processor reduces the length of a running program by dynamically skipping computation non-essential for correct forward progress. The shortened program runs faster as...
179
click to vote
SAT
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We describe a DPLL-based solver for the problem of quantified boolean formulas (QBF) in non-prenex, non-CNF form. We make two contributions. First, we reformulate clause...