123 search results - page 10 / 25 » Fault Detection in Multi-Threaded C Server Applications |
ENTCS
2002
14 years 9 months ago
2002
The MaC system has been developed to provide assurance that a target program is running correctly with respect to formal requirements specification. This is achieved by monitoring...
ICSE
2008
IEEE-ACM
15 years 10 months ago
2008
IEEE-ACM
Web applications support many of our daily activities, but they often have security problems, and their accessibility makes them easy to exploit. In cross-site scripting (XSS), an...
IWSOS
2007
Springer
15 years 3 months ago
2007
Springer
— In Wireless Sensor Network (WSN) applications, sensor nodes are often deployed in harsh environments. Routine maintenance, fault detection and correction is difficult, infrequ...
MIDDLEWARE
2005
Springer
15 years 3 months ago
2005
Springer
With the advancement of technology in micro-electronics and wireless communication, small miniature devices called sensor nodes can be used to perform various tasks by forming the...
PODC
2012
ACM
12 years 12 months ago
2012
ACM
This paper proves a necessary and sufficient condition for the existence of iterative algorithms that achieve approximate Byzantine consensus in arbitrary directed graphs, where e...