1704 search results - page 309 / 341 » Focusing Software Education on Engineering |
112
click to vote
FOSSACS
2010
Springer
15 years 10 months ago
2010
Springer
Every algebraic theory gives rise to a monad, and monads allow a meta-language which is a basic programming language with sideeffects. Equations in the algebraic theory give rise ...
109
Voted
FOSSACS
2009
Springer
15 years 10 months ago
2009
Springer
There is growing interest in quantitative theories of information flow in a variety of contexts, such as secure information flow, anonymity protocols, and side-channel analysis. ...
117
Voted
FOSSACS
2009
Springer
15 years 10 months ago
2009
Springer
Reactive systems, proposed by Leifer and Milner, represent a meta-framework aimed at deriving behavioral congruences for those specification formalisms whose operational semantics...
140
Voted
RECONFIG
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract. Protecting an implementation against Side Channel Analysis for Reverse Engineering (SCARE) attacks is a great challenge and we address this challenge by presenting a fir...
125
Voted
EICS
2009
ACM
15 years 10 months ago
2009
ACM
Many tools exist for developing real-time distributed groupware, but most of these tools focus primarily on the performance of the resulting system, or on simplifying the developm...