97 search results - page 15 / 20 » Towards a Definition of Digital Information Preservation Obj... |
SPIN
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
CHI
2009
ACM
15 years 10 months ago
2009
ACM
This study explores people's relationships with digital and non-digital objects in the home--with an eye toward the ways in which products improve rather than deteriorate ove...
66
Voted
HICSS
2002
IEEE
15 years 2 months ago
2002
IEEE
This paper proposes a new type of Information/Communication system or Inquiry System to support the investigation by large groups (e.g. thousands of people) of complex topics abou...
105
click to vote
CODASPY
2012
13 years 5 months ago
2012
Recent years have witnessed the trend of leveraging cloudbased services for large scale content storage, processing, and distribution. Security and privacy are among top concerns ...
HICSS
2007
IEEE
15 years 4 months ago
2007
IEEE
Recommender Systems (RS) so far have been applied to many fields of e-commerce in order to assist users in finding the products that best meet their preferences. However, while th...