871 search results - page 57 / 175 » Modular Design of Reactive Systems |
CSFW
2011
IEEE
12 years 7 months ago
2011
IEEE
—This paper introduces YARRA, a conservative extension to C to protect applications from non-control data attacks. YARRA programmers specify their data integrity requirements by ...
ICC
2008
IEEE
14 years 2 months ago
2008
IEEE
—The Multiple Backhaul Mobile Access Router aims to provide high capacity and high performance Internet access for emerging mobile wireless applications. In this paper we describ...
BMCBI
2010
13 years 8 months ago
2010
Background: Mass spectrometry (MS) coupled with online separation methods is commonly applied for differential and quantitative profiling of biological samples in metabolomic as w...
AEI
2000
13 years 7 months ago
2000
This paper presents a case study that explores the advantages that can be derived from the use of a design support system during the design of wastewater treatment plants (WWTP). ...
CASES
2001
ACM
13 years 11 months ago
2001
ACM
Synchronous programming languages have proved to be advantageous for designing software and hardware for embedded systems. Despite their clear semantics, their compilation is rema...