Sciweavers

1448 search results - page 104 / 290
» Restricted Stack Implementations
Sort
View
ACL
2010
13 years 5 months ago
Demonstration of a Prototype for a Conversational Companion for Reminiscing about Images
This paper describes an initial prototype demonstrator of a Companion, designed as a platform for novel approaches to the following: 1) The use of Information Extraction (IE) tech...
Yorick Wilks, Roberta Catizone, Alexiei Dingli, We...
SENSYS
2010
ACM
13 years 5 months ago
sMAP: a simple measurement and actuation profile for physical information
As more and more physical information becomes available, a critical problem is enabling the simple and efficient exchange of this data. We present our design for a simple RESTful ...
Stephen Dawson-Haggerty, Xiaofan Jiang, Gilman Tol...
USS
2010
13 years 5 months ago
The Case for Ubiquitous Transport-Level Encryption
Today, Internet traffic is encrypted only when deemed necessary. Yet modern CPUs could feasibly encrypt most traffic. Moreover, the cost of doing so will only drop over time. Tcpc...
Andrea Bittau, Michael Hamburg, Mark Handley, Davi...
ERSHOV
2009
Springer
13 years 5 months ago
Applicability of the BLAST Model Checker: An Industrial Case Study
Model checking of software has been a very active research topic recently. As a result, a number of software model checkers have been developed for analysis of software written in ...
Emanuel Kolb, Ondrej Sery, Roland Weiss
GI
2009
Springer
13 years 5 months ago
Ontology Design for Information Integration in Disaster Management
: One of the most pressing issues in improving disaster management is that of information integration. With many organizations involved in the disaster, crossing regional or even n...
Grigori Babitski, Florian Probst, Jörg Hoffma...