1109 search results - page 29 / 222 » Software verification for TinyOS |
ICEIS
2010
IEEE
14 years 11 months ago
2010
IEEE
109
click to vote
RV
2010
Springer
14 years 11 months ago
2010
Springer
Most applications that are in use today inter-operate with other applications, so-called peers, over a network. The analysis of such distributed applications requires that the effe...
ECEASST
2010
14 years 10 months ago
2010
131
click to vote
SIGCSE
2006
ACM
15 years 7 months ago
2006
ACM
The importance of software bug detection tools is high with the constant threat of malicious activity. Companies are increasingly relying on software bug detection tools to catch ...
120
click to vote
WETICE
2005
IEEE
15 years 7 months ago
2005
IEEE
Formal specification and verification of security has proven a challenging task. There is no single method that has proven feasible. Instead, an integrated approach which combines...