3713 search results - page 166 / 743 » Constructing a Calculus of Programs |
137
Voted
IMA
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. An increasingly important design constraint for software running on ubiquitous computing devices is security, particularly against physical methods such as side-channel a...
131
Voted
ICML
2009
IEEE
16 years 4 months ago
2009
IEEE
We describe an algorithm for constructing a set of acyclic conjunctive relational features by combining smaller conjunctive blocks. Unlike traditional level-wise approaches which ...
112
click to vote
SCAM
2008
IEEE
15 years 9 months ago
2008
IEEE
Traditional mutation testing considers only first order mutants, created by the injection of a single fault. Often these first order mutants denote trivial faults that are easil...
112
Voted
ICALP
2007
Springer
15 years 9 months ago
2007
Springer
We present a streaming algorithm for constructing sparse spanners and show that our algorithm out-performs significantly the state-of-the-art algorithm for this task [20]. Speci...
141
Voted
UM
2005
Springer
15 years 9 months ago
2005
Springer
This paper improves a recently-presented approach to Web Personalization, named Community Web Directories, which applies personalization techniques to Web Directories. The Web dire...