246 search results - page 13 / 50 » Joinpoint Inference from Behavioral Specification to Impleme... |
111
Voted
CASES
2010
ACM
14 years 9 months ago
2010
ACM
Although cryptographic algorithms are designed to resist at least thousands of years of cryptoanalysis, implementing them with either software or hardware usually leaks additional...
86
Voted
HCI
2007
15 years 17 days ago
2007
In pursuing the ultimate goal of enabling intelligent conversation with a virtual human, two key challenges are selecting nonverbal behaviors to implement and realizing those behav...
ECOOP
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. Our research group has analyzed many industrial, frameworkbased applications. In these applications, simple functionality often requires excessive runtime activity. It is...
102
Voted
CONEXT
2009
ACM
15 years 6 days ago
2009
ACM
We present NANO, a system that detects when ISPs apply policies that discriminate against specific classes of applications, users, or destinations. Existing systems for detecting ...
ASYNC
2007
IEEE
15 years 3 months ago
2007
IEEE
Few formal verification techniques are currently available for asynchronous designs. In this paper, we describe a new approach for the formal verification of asynchronous architec...