432 search results - page 73 / 87 » A Formal Reuse-Based Approach for Interactively Designing Or... |
SOUPS
2006
ACM
14 years 1 months ago
2006
ACM
The focus of our approach to the usability considerations of privacy and security has been on providing people with information they can use to understand the implications of thei...
CAV
2009
Springer
14 years 8 months ago
2009
Springer
D-Finder tool implements a compositional method for the verification of component-based systems described in BIP language encompassing multi-party interaction. For deadlock detecti...
WWW
2003
ACM
14 years 8 months ago
2003
ACM
This paper describes a novel approach for obtaining semantic interoperability among data sources in a bottom-up, semiautomatic manner without relying on pre-existing, global seman...
OOPSLA
2009
Springer
14 years 2 days ago
2009
Springer
The “Killer Examples” series of workshops are highly interactive workshops which have been an annual occurrence at OOPSLA since 2002. The goals of the workshop are to bring to...
WWW
2004
ACM
14 years 8 months ago
2004
ACM
This paper describes an XPath-based discourse analysis module for Spoken Dialogue Systems that allows the dialogue author to easily manipulate and query both the user input's...