1397 search results - page 256 / 280 » On the Need for Practical Formal Methods |
PADL
2009
Springer
14 years 8 months ago
2009
Springer
Abstract. For practical applications, the use of top-down query-driven proofprocedures is essential for an efficient use and computation of answers using Logic Programs as knowledg...
KDD
2002
ACM
14 years 8 months ago
2002
ACM
A key challenge facing IT organizations today is their evolution towards adopting e-business practices that gives rise to the need for reengineering their underlying software syst...
SIGMOD
2005
ACM
14 years 7 months ago
2005
ACM
As critical records are increasingly stored in electronic form, which tends to make for easy destruction and clandestine modification, it is imperative that they be properly manag...
EUROSYS
2007
ACM
14 years 4 months ago
2007
ACM
Real production applications ranging from enterprise applications to large e-commerce sites share a crucial but seldom-noted characteristic: The relative frequencies of transactio...
MOBIWAC
2006
ACM
14 years 1 months ago
2006
ACM
In this work we present a calibration-free system for locating wireless local area network devices, based on the radio frequency characteristics of such networks. Calibration proc...