2147 search results - page 407 / 430 » Teleological Software Adaptation |
WWW
2003
ACM
14 years 8 months ago
2003
ACM
In earlier work we proposed a way for a Web server to detect connectivity information about clients accessing it in order to take tailored actions for a client request. This paper...
MOBISYS
2009
ACM
14 years 8 months ago
2009
ACM
Despite Bluetooth's popularity, low cost, and low power requirements, Bluetooth applications remain remarkably unsophisticated. Although the research community and industry h...
KDD
2007
ACM
14 years 8 months ago
2007
ACM
The proliferation of malware has presented a serious threat to the security of computer systems. Traditional signature-based antivirus systems fail to detect polymorphic and new, ...
POPL
2005
ACM
14 years 8 months ago
2005
ACM
Spatial logics have been used to describe properties of treelike structures (Ambient Logic) and in a Hoare style to reason about dynamic updates of heap-like structures (Separatio...
POPL
2004
ACM
14 years 8 months ago
2004
ACM
We present a framework for the certification of compilation and of compiled programs. Our approach uses a symbolic transfer functions-based representation of programs, so as to ch...