1704 search results - page 309 / 341 » Focusing Software Education on Engineering |
FOSSACS
2010
Springer
14 years 3 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 ...
FOSSACS
2009
Springer
14 years 3 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. ...
FOSSACS
2009
Springer
14 years 3 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...
RECONFIG
2009
IEEE
14 years 3 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...
EICS
2009
ACM
14 years 3 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...