879 search results - page 122 / 176 » Software Reuse in an Industrial Setting: A Case Study |
FM
2009
Springer
14 years 2 months ago
2009
Springer
We study a clock synchronization protocol for the Chess WSN. First, we model the protocol as a network of timed automata and verify various instances using the Uppaal model checker...
ISSRE
2007
IEEE
13 years 12 months ago
2007
IEEE
While important efforts are dedicated to system functional testing, very few works study how to test specifically security mechanisms, implementing a security policy. This paper i...
SIGMOD
2008
ACM
14 years 10 months ago
2008
ACM
The need for high availability and performance in data management systems has been fueling a long running interest in database replication from both academia and industry. However...
IEEEPACT
2008
IEEE
14 years 4 months ago
2008
IEEE
One of the essential features in modern computer systems is context switching, which allows multiple threads of execution to time-share a limited number of processors. While very ...
EMSOFT
2008
Springer
14 years 2 days ago
2008
Springer
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...