1109 search results - page 101 / 222 » Software verification for TinyOS |
110
click to vote
ICECCS
2007
IEEE
15 years 5 months ago
2007
IEEE
Parts of the CICS transaction processing system were modelled formally in the 1980s in a collaborative project between IBM Hursley Park and Oxford University Computing Laboratory....
EWSA
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Modern systems are heterogeneous, geographically distributed and highly dynamic since the communication topology can vary and the components can, at any moment, connect t...
100
click to vote
ACSAC
2010
IEEE
14 years 11 months ago
2010
IEEE
Leakage of confidential information represents a serious security risk. Despite a number of novel, theoretical advances, it has been unclear if and how quantitative approaches to ...
133
click to vote
SIPS
2006
IEEE
15 years 7 months ago
2006
IEEE
Low-Density Parity-Check (LDPC) codes have been adopted in the physical layer of many communication systems because of their superior performance. The direct implementation of the...
147
click to vote
APSCC
2008
IEEE
15 years 3 months ago
2008
IEEE
Monitors have been used for real-time systems to ensure proper behavior; however, most approaches do not allow for the addition of relevant fields required to identify and react t...