Sciweavers

8768 search results - page 380 / 1754
» Generalizing the notion of support
Sort
View
SFM
2009
Springer
143views Formal Methods» more  SFM 2009»
16 years 2 months ago
Service Interaction: Patterns, Formalization, and Analysis
Abstract. As systems become more service oriented and processes increasingly cross organizational boundaries, interaction becomes more important. New technologies support the devel...
Wil M. P. van der Aalst, Arjan J. Mooij, Christian...
CISIS
2008
IEEE
16 years 2 months ago
The Grid4All Ontology for the Retrieval of Traded Resources in a Market-Oriented Grid
One of the most challenging problems in Grid environments concerns the matchmaking between resource requests and offers. As it happens in the physical economy, Grid economy must b...
Konstantinos Kotis, George A. Vouros, Alexandros G...
ICMCS
2008
IEEE
141views Multimedia» more  ICMCS 2008»
16 years 2 months ago
Ranking music data by relevance and importance
Due to the rapidly increasing availability of audio files on the Web, it is relevant to augment search engines with advanced audio search functionality. In this context, the rank...
Maria M. Ruxanda, Alexandros Nanopoulos, Christian...
LICS
2008
IEEE
16 years 2 months ago
Focusing on Binding and Computation
Variable binding is a prevalent feature of the syntax and proof theory of many logical systems. In this paper, we define a programming language that provides intrinsic support fo...
Daniel R. Licata, Noam Zeilberger, Robert Harper
ACISICIS
2007
IEEE
16 years 1 months ago
Trust Realisation in Multi-domain Collaborative Environments
In the Internet-age, the geographical boundaries that have previously impinged upon inter-organisational collaborations have become decreasingly important. Of more importance for ...
Oluwafemi Ajayi, Richard O. Sinnott, Anthony Stell