23036 search results - page 309 / 4608 » Sketching informal presentations |
218
click to vote
FMCAD
2008
Springer
15 years 8 months ago
2008
Springer
We present a method for verifying information flow properties of software programs using inductive assertions and theorem proving. Given a program annotated with information flow a...
139
click to vote
BCSHCI
2007
15 years 8 months ago
2007
The IBM Task Modeler supports the rapid creation and analysis of hierarchical task models, thereby providing a valuable and naturally visual tool for information architects. Task ...
156
click to vote
HCI
2007
15 years 8 months ago
2007
In this paper, we present a survey of challenges and solutions of multilingual and translingual information service systems. In contrast to the computational linguistics literature...
220
click to vote
ISTA
2008
15 years 8 months ago
2008
Abstract. Integration is one of the pivotal concepts with respect to analyzing, designing and evaluating information systems. Integrating software components as well as integrating...
142
click to vote
LREC
2008
15 years 8 months ago
2008
In this paper, we discuss the integration of metaphor information into the RDF/OWL representation of EuroWordNet. First, the lexical database WordNet and its variants are presente...