19003 search results - page 88 / 3801 » We Need Assurance! |
APSEC
1998
IEEE
14 years 5 days ago
1998
IEEE
In this paper we demonstrate how light weight tools can be used to increase the level of confidence in Z specifications. In particular we outline the Pipedream approach to explori...
TAICPART
2006
IEEE
14 years 1 months ago
2006
IEEE
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
ECCC
2010
13 years 6 months ago
2010
Applications based on outsourcing computation require guarantees to the data owner that the desired computation has been performed correctly by the service provider. Methods based...
INFOCOM
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract—With increasing popularity of media enabled handhelds, the need for high data-rate services for mobile users is evident. Large-scale Wireless LANs (WLANs) can provide su...
CAISE
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Poor quality data may be detected and corrected by performing various quality assurance activities that rely on techniques with different efficacy and cost. In this pape...