506 search results - page 94 / 102 » Constructor-based observational logic |
239
Voted
POPL
2006
ACM
16 years 24 days ago
2006
ACM
Web applications typically interact with a back-end database to retrieve persistent data and then present the data to the user as dynamically generated output, such as HTML web pa...
103
click to vote
OSDI
2004
ACM
16 years 23 days ago
2004
ACM
We present a new technique, failure-oblivious computing, that enables servers to execute through memory errors without memory corruption. Our safe compiler for C inserts checks th...
135
click to vote
MOBISYS
2008
ACM
16 years 2 days ago
2008
ACM
A novel behavioral detection framework is proposed to detect mobile worms, viruses and Trojans, instead of the signature-based solutions currently available for use in mobile devi...
109
Voted
FPGA
2010
ACM
15 years 9 months ago
2010
ACM
Guarded evaluation is a power reduction technique that involves identifying sub-circuits (within a larger circuit) whose inputs can be held constant (guarded) at specific times d...
108
Voted
PLDI
2009
ACM
15 years 7 months ago
2009
ACM
Information flow controls can be used to protect both data confidentiality and data integrity. The certification of the security degree of a program that runs in untrusted envi...