4340 search results - page 733 / 868 » Formal Methods and Cryptography |
143
click to vote
HT
2005
ACM
15 years 10 months ago
2005
ACM
We describe our approach to the automatic generation of argument structures in the domain of video documentaries. Our approach releases control of the final video sequencing from...
132
click to vote
HT
2005
ACM
15 years 10 months ago
2005
ACM
Conversion between different adaptive hypermedia systems has barely been proposed, yet alone tested in realistic settings. This paper presents the evaluation of the interoperabili...
192
click to vote
IHIS
2005
ACM
15 years 10 months ago
2005
ACM
Current Web services composition proposals, such as BPML, BPEL, WSCI, and OWL-S, provide notations for describing the control and data flows in Web service collaborations. However...
159
Voted
KCAP
2005
ACM
15 years 10 months ago
2005
ACM
The paper reports on an exploratory case study where an organizational learning methodology was used to support knowledge sharing in a medium-sized distributed software developmen...
156
click to vote
KCAP
2005
ACM
15 years 10 months ago
2005
ACM
Ontology mapping negotiation aims to achieve consensus among real-world entities about the process of transforming information between different models (ontologies). This paper de...