Sciweavers

6109 search results - page 829 / 1222
» Ubiquitous Web Applications
Sort
View
PVM
2007
Springer
16 years 1 months ago
Grid Services for MPI
Institutional grids consist of the aggregation of clusters belonging to different administrative domains to build a single parallel machine. To run an MPI application over an inst...
Camille Coti, Ala Rezmerita, Thomas Hérault...
IPPS
2005
IEEE
16 years 14 days ago
Benchmarking the CLI for I/O-Intensive Computing
Common Language Infrastructure, or CLI, is a standardized virtual machine, which increasingly becomes popular on a wide range of platforms. In this paper we developed three I/O-in...
Xiao Qin, Tao Xie 0004, Ahalya Nathan, Vijaya K. T...
LPAR
2005
Springer
16 years 11 days ago
Automating Coherent Logic
We propose to build an automated reasoning system for first-order logic (FOL) by translating reasoning problems to a fragment of FOL called coherent logic (CL) and then solving t...
Marc Bezem, Thierry Coquand
ICWE
2004
Springer
16 years 7 days ago
Modeling User Input and Hypermedia Dynamics in Hera
Abstract. Methodologies for the engineering of Web applications typically provide models that drive the generation of the hypermedia navigation structure in the application. Most o...
Geert-Jan Houben, Flavius Frasincar, Peter Barna, ...
ADC
2003
Springer
123views Database» more  ADC 2003»
16 years 3 days ago
Transactions in Loosely Coupled Distributed Systems
An exciting trend in enterprise computing lies in the integration of applications across an organisation and even between organisations. This allows the provision of services by a...
Alan Fekete, Paul Greenfield, Dean Kuo, Julian Jan...