3468 search results - page 543 / 694 » An open logical framework |
ICRA
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract— Active cannulas are remotely actuated thin continuum robots with the potential to traverse narrow and winding environments without relying on “guiding” environmenta...
IEEEPACT
2007
IEEE
14 years 3 months ago
2007
IEEE
Effective use of communication networks is critical to the performance and scalability of parallel applications. Partitioned Global Address Space languages like UPC bring the pro...
EUC
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. In ubiquitous computing, as more and more devices are embedded into the environment, there is a risk that the user loses the understanding of the system. In normal use th...
MM
2006
ACM
14 years 2 months ago
2006
ACM
We present “equiveillance” as a conceptual framework for understanding the balance between surveillance and sousveillance. In addition to this conceptual framework we also pre...
IMC
2005
ACM
14 years 2 months ago
2005
ACM
Anomaly detection is a first and important step needed to respond to unexpected problems and to assure high performance and security in IP networks. We introduce a framework and ...