713 search results - page 38 / 143 » Toward a More Reliable Theory of Software Reliability |
IJOE
2008
13 years 8 months ago
2008
With the ongoing internationalization of virtual laboratories, the integration of such infrastructures becomes more important. The meanwhile commonly accepted 'glue' for...
APSEC
2007
IEEE
14 years 3 months ago
2007
IEEE
Model refinement is a complex task. It is difficult for developers to refine models all by themselves. A good modeling tool should not only do routine refinement work for develope...
CCS
2007
ACM
14 years 2 months ago
2007
ACM
Recently, a universally composable framework for RFID authentication protocols providing availability, anonymity, and authenticity was proposed. In this paper we extend that frame...
ICSE
2007
IEEE-ACM
14 years 8 months ago
2007
IEEE-ACM
Abstract. Control systems for electrical microgrids rely ever more on heterogeneous off-the-shelf technology for hardware, software and networking among the intelligent electronic ...
SIGCOMM
2009
ACM
14 years 3 months ago
2009
ACM
IPTV is increasingly being deployed and offered as a commercial service to residential broadband customers. Compared with traditional ISP networks, an IPTV distribution network (i...