411 search results - page 35 / 83 » Algebraic Imperative Specifications |
138
click to vote
APLAS
2010
ACM
15 years 2 months ago
2010
ACM
We consider the problem of specifying data structures with complex sharing in a manner that is both declarative and results in provably correct code. In our approach, abstract data...
146
click to vote
SBMF
2010
Springer
14 years 8 months ago
2010
Springer
A notion of generalized regular expressions for a large class of systems modeled as coalgebras, and an analogue of Kleene's theorem and Kleene algebra, were recently proposed ...
128
click to vote
CHES
2009
Springer
16 years 2 months ago
2009
Springer
Algebraic side-channel attacks have been recently introduced as a powerful cryptanalysis technique against block ciphers. These attacks represent both a target algorithm and its ph...
108
click to vote
CCS
2006
ACM
15 years 5 months ago
2006
ACM
A high-level security policy states an overall requirement for a sensitive task. One example of a high-level security policy is a separation of duty policy, which requires a sensi...
114
click to vote
ICVGIP
2008
15 years 3 months ago
2008
The primitives of point-based representations are independent but are rendered using surfels, which approximate the immediate neighborhood of each point linearly. A large number o...