12193 search results - page 52 / 2439 » It's not all about |
SP
2009
IEEE
14 years 4 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
SEE
2010
Springer
13 years 8 months ago
2010
Springer
Making decisions with an, often significant, element of risk seems to be an integral part of many of the projects of the diverse profession of engineering. Whether it be decisions...
SIGMOD
2012
ACM
12 years 4 days ago
2012
ACM
The rise of smartphones equipped with various sensors has enabled personalization of various applications based on user contexts extracted from sensor readings. At the same time i...
IWC
2008
13 years 9 months ago
2008
Science fiction stories seductively portray robots as human. In present reality (early 21st century) robots are machines, even though they can do many things far better than human...
FLAIRS
2004
13 years 11 months ago
2004
ABSURDIST II, an extension to ABSURDIST, is an algorithm using attributed graph matching to find translations between conceptual systems. It uses information about the internal st...