5326 search results - page 804 / 1066 » On what we can ensure |
179
click to vote
CNSR
2007
IEEE
15 years 10 months ago
2007
IEEE
Search engines have turned into one of the most important services of the Web that are frequently visited by any user. They assist their users in finding appropriate information. ...
151
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
We present the algorithms used in MCVETO (Machine-Code VErification TOol), a tool to check whether a stripped machinecode program satisfies a safety property. The verification p...
211
click to vote
EDOC
2009
IEEE
15 years 10 months ago
2009
IEEE
A key challenge in devising solutions to a range of problems associated with business process management: process life cycle management, compliance management, enterprise process ...
209
click to vote
EIT
2009
IEEE
15 years 10 months ago
2009
IEEE
GSM (Global System for Mobiles) is the most widely spread mobile communication system in the world. An important objective in mobile communication systems is secure speech communic...
135
click to vote
ACSC
2004
IEEE
15 years 10 months ago
2004
IEEE
Knowledge discovery allows considerable insight into data. This brings with it the inherent risk that what is inferred may be private or ethically sensitive. The process of genera...