1791 search results - page 278 / 359 » Semantics and Complexity of SPARQL |
162
click to vote
HASKELL
2005
ACM
15 years 9 months ago
2005
ACM
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...
148
click to vote
MIR
2005
ACM
15 years 9 months ago
2005
ACM
Multimedia meeting collections, composed of unedited audio and video streams, handwritten notes, slides, and electronic documents that jointly constitute a raw record of complex h...
147
click to vote
AOSE
2005
Springer
15 years 9 months ago
2005
Springer
Many approaches and tools assist the various tasks required to develop a multi-agent system (MAS), yet there still remains a gap between the generation of MAS models and program co...
132
click to vote
APWEB
2005
Springer
15 years 9 months ago
2005
Springer
Complex structure and varying requirements increase the difficulties in developing domain specific Web Information Systems. People appeal to a smart tool to customize Web Informati...
155
click to vote
COORDINATION
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Recently the term Web Services Orchestration has been introduced to address composition and coordination of Web Services. Several languages to describe orchestration for ...