3342 search results - page 406 / 669 » Automating Abstract Interpretation |
142
Voted
CSL
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Two styles of definitions are usually considered to express that a security protocol preserves the confidentiality of a data s. Reachability-based secrecy means that s sh...
141
click to vote
CSL
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We investigate the possibility of (bi)simulation-like preorder/equivalence checking on the class of visibly pushdown automata and its natural subclasses visibly BPA (Basi...
134
Voted
EWCBR
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We propose that traditional case-based recommender systems can be improved by informing them with context data describing the user's environment. We outline existing...
147
click to vote
FLOPS
2006
Springer
15 years 8 months ago
2006
Springer
Functional reactive programming integrates dynamic dataflow with functional programming to offer an elegant and powerful model for expressing computations over time-varying values....
156
click to vote
FLOPS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. The paper "Scrap your boilerplate" (SYB) introduces a combinator library for generic programming that offers generic traversals and queries. Classically, suppor...