2132 search results - page 102 / 427 » Automated software winnowing |
102
click to vote
REALWSN
2010
14 years 9 months ago
2010
Over the last years Wireless Sensor Networks (WSN) have been becoming increasingly applicable for real world scenarios and now production ready solutions are available. In the same...
JUCS
2006
14 years 11 months ago
2006
: The size and complexity of software systems are continuously increasing, which makes them difficult and labor-intensive to develop, test and evolve. Since concurrent systems are ...
WWW
2004
ACM
15 years 11 months ago
2004
ACM
The integration of four design attributes (componentcost, quality, function, and technology) streamlines product design by providing a multilateral view to designers that leads to...
HICSS
2009
IEEE
15 years 6 months ago
2009
IEEE
Building Automation Systems (BASs) can save building owners money by reducing energy consumption while simultaneously preserving occupant comfort. There are algorithms that optimi...
CSFW
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract. We present aspier – the first framework that combines software model checking with a standard protocol security model to analyze authentication and secrecy properties ...