859 search results - page 108 / 172 » Explaining Synthesized Software |
ISWC
1999
IEEE
14 years 2 months ago
1999
IEEE
We describe an experimental wearable augmented reality system that enables users to experience hypermedia presentations that are integrated with the actual outdoor locations to wh...
VL
1999
IEEE
14 years 2 months ago
1999
IEEE
An analysis of how visual modeling of structure and dynamic behavior of a multimedia application differs from modeling conventional software yields that aspects of the graphical u...
SIGIR
2010
ACM
14 years 1 months ago
2010
ACM
We focus on the task of target detection in automatic link generation with Wikipedia, i.e., given an N-gram in a snippet of text, find the relevant Wikipedia concepts that explai...
ICECCS
2007
IEEE
14 years 1 months ago
2007
IEEE
Control systems must increasingly be designed to involve collections of hardware and software components, both of which may evolve over the lifetime of the system, and which are e...
CCS
2006
ACM
14 years 1 months ago
2006
ACM
In this paper, we present a way to think about the relative strength of security protocols using SoS, a lattice-theoretic representation of security strength. In particular, we di...