8828 search results - page 1356 / 1766 » Formal methods in practice |
166
click to vote
HT
2005
ACM
16 years 17 days 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...
236
click to vote
IHIS
2005
ACM
16 years 17 days 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...
221
click to vote
KCAP
2005
ACM
16 years 17 days 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...
196
click to vote
KCAP
2005
ACM
16 years 17 days 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...
220
click to vote
KCAP
2005
ACM
16 years 17 days ago
2005
ACM
An ultimate goal of AI is to build end-to-end systems that interpret natural language, reason over the resulting logical forms, and perform actions based on that reasoning. This r...