2226 search results - page 392 / 446 » Pdk: The System and Its Language |
169
click to vote
RTA
2009
Springer
16 years 28 days ago
2009
Springer
Reasoning about the knowledge of an attacker is a necessary step in many formal analyses of security protocols. In the framework of the applied pi calculus, as in similar languages...
184
click to vote
SAT
2009
Springer
16 years 28 days ago
2009
Springer
Cryptography ensures the confidentiality and authenticity of information but often relies on unproven assumptions. SAT solvers are a powerful tool to test the hardness of certain ...
193
click to vote
ICDIM
2008
IEEE
16 years 25 days ago
2008
IEEE
The domain of Digital Libraries presents specific challenges for unsupervised information extraction to support both the automatic classification of documents and the enhancement ...
163
click to vote
IEEESCC
2008
IEEE
16 years 24 days ago
2008
IEEE
Business partners willing to do business electronically with each other must reach an agreement (1) on the economic level, (2) on the inter-organizational process choreography, an...
160
click to vote
SEMCO
2008
IEEE
16 years 23 days ago
2008
IEEE
Gesture interfaces are needed for natural intuitive communication with machine devices. Hand gesture intuitiveness is the cognitive association between a command or intent, and it...