3256 search results - page 425 / 652 » Applications of Formal Methods to System Design and Verifica... |
145
click to vote
VSTTE
2005
Springer
15 years 11 months ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
188
click to vote
ELECTRONICMARKETS
2011
14 years 12 months ago
2011
Abstract Ambient Assisted Living (AAL) offers possibilities for promising new IT-based health care services that are resulting in new challenges for its design process. We introduc...
165
click to vote
MSS
2007
IEEE
15 years 12 months ago
2007
IEEE
Storage systems are increasingly subject to attacks. Cryptographic file systems mitigate the danger of exposing data by using encryption and integrity protection methods and guar...
145
click to vote
RECSYS
2009
ACM
16 years 2 days ago
2009
ACM
This thesis investigates application of clustering to multi-criteria ratings as a method of improving the precision of top-N recommendations. With the advent of ecommerce sites th...
153
click to vote
IPSN
2005
Springer
15 years 11 months ago
2005
Springer
— We present the design of the eXtreme Scale Mote, a new sensor network platform for reliably detecting and classifying, and quickly reporting, rare, random, and ephemeral events...