11588 search results - page 146 / 2318 » Will They Like This |
FCS
2006
13 years 11 months ago
2006
-- Boolean SAT problems are widespread in current demanding applications, most notably model checking for both hardware and software. It has long been known that the clause-to-vari...
ICWS
2004
IEEE
13 years 11 months ago
2004
IEEE
The functionality of applications is increasingly being made available by services. General concepts and standards like SOAP, WSDL, and UDDI support the discovery and invocation o...
ESANN
2001
13 years 11 months ago
2001
Probabilistic algorithms o er a means of computing that works with the grain of analogue hardware, rather than against it. This paper proposes the use of such an algorithm in appli...
FMOODS
2003
13 years 11 months ago
2003
This paper outlines a sound and complete Hoare logic for a sequential object-oriented language with inheritance and subtyping like Java. It describes a weakest precondition calculu...
WMC
2001
13 years 11 months ago
2001
With the increasing number of mobile commerce facilities, there are challenges in providing customers useful recommendations about interesting products and services. In this paper...