Sciweavers

9264 search results - page 1164 / 1853
» Space Between Languages
Sort
View
PEPM
2004
ACM
16 years 24 days ago
Proving termination of membership equational programs
Advanced typing, matching, and evaluation strategy features, as well as very general conditional rules, are routinely used in equational programming languages such as, for example...
Francisco Durán, Salvador Lucas, José...
SEMWEB
2004
Springer
16 years 24 days ago
Bringing Semantics to Web Services: The OWL-S Approach
Service interface description languages such as WSDL, and related standards, are evolving rapidly to provide a foundation for interoperation between Web services. At the same time,...
David L. Martin, Massimo Paolucci, Sheila A. McIlr...
APSEC
2003
IEEE
16 years 23 days ago
Ensuring Compatible Interactions within Component-based Software Systems
The interface definition of a component in a distributed system forms the contract between the component itself and its neighbouring components regarding the use of its services....
Jun Han, Ksze Kae Ker
COMPSAC
2003
IEEE
16 years 23 days ago
An Object-Passing Model for Parallel Programming
This paper introduces an object-passing model for parallel and distributed application development. Object passing provides the object-oriented application developer with powerful...
Jameela Al-Jaroodi, Nader Mohamed
ICALT
2003
IEEE
16 years 22 days ago
Initializing Student Models in Web-Based ITSs: A Generic Approach
The issue of initializing the model of a new student is of great importance for educational applications that aim at offering individualized support to students. In this paper we ...
Victoria Tsiriga, Maria Virvou
« Prev « First page 1164 / 1853 Last » Next »