297 search results - page 60 / 60 » Supporting Service-Oriented Design with Metrics |
RTAS
2010
IEEE
13 years 4 months ago
2010
IEEE
Abstract—Wireless sensor networks are evolving from dedicated application-specific platforms to integrated infrastructure shared by multiple applications. Shared sensor networks...
VSTTE
2010
Springer
13 years 3 months ago
2010
Springer
A suite of verification benchmarks for software verification tools and techniques, presented at VSTTE 2008 [11], provides an initial catalogue of benchmark challenges for the Verif...