739 search results - page 108 / 148 » System Design of Smart Table |
ICAIL
2007
ACM
13 years 11 months ago
2007
ACM
Laws set requirements that force organizations to assess the security and privacy of their IT systems and impose the adoption of the implementation of minimal precautionary securi...
FMICS
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Symbolic state-space generators are notoriously hard to parallelise. However, the Saturation algorithm implemented in the SMART verification tool differs from other seque...
DEBU
2006
13 years 8 months ago
2006
Automated reasoning about human behavior is a central goal of artificial intelligence. In order to engage and intervene in a meaningful way, an intelligent system must be able to ...
GCC
2010
Springer
13 years 6 months ago
2010
Springer
Quality of Service (QoS) is essential to datacenters, which requires effective schemes to manage the flows among numerous servers. However, existing management techniques mainly fo...
ICPADS
2010
IEEE
13 years 5 months ago
2010
IEEE
Control decisions of intelligent devices in critical infrastructure can have a significant impact on human life and the environment. Insuring that the appropriate data is availabl...