2004 search results - page 291 / 401 » Comparison of Model Checking Tools for Information Systems |
154
click to vote
ICTAC
2010
Springer
15 years 2 months ago
2010
Springer
Flash memory has become a virtually indispensable component for mobile devices in today’s information society. However, conventional testing methods often fail to detect hidden b...
140
click to vote
SIGMOD
2011
ACM
14 years 7 months ago
2011
ACM
Considering a broad definition for service contracts (beyond web services and software, e.g. airline tickets and insurance policies), we tackle the challenges of building a high ...
131
click to vote
CSE
2009
IEEE
15 years 11 months ago
2009
IEEE
— The emphasis of emerging mobile and Web 2.0 applications on collaboration and communication increases threats to user privacy. A serious, yet under-researched privacy risk resu...
130
click to vote
PDP
2007
IEEE
15 years 10 months ago
2007
IEEE
— In the last years peer-to-Peer (P2P) applications are emerging as potentially important structures for information, content management and distribution. The most popular P2P ap...
174
click to vote
BTW
2007
Springer
15 years 10 months ago
2007
Springer
Abstract: We propose a new system that is able to handle the entire Personal Dataspace of a user. A Personal Dataspace includes all data pertaining to a user on all his disks and o...