Sciweavers

331 search results - page 62 / 67
» Workflow Modeling Using Proclets
Sort
View
AAAI
2008
14 years 1 hour ago
Querying Sequential and Concurrent Horn Transaction Logic Programs Using Tabling Techniques
In this poster we describe the tabling techniques for Sequential and Concurrent Horn Transaction Logic. Horn Transaction Logic is an extension of classical logic programming with ...
Paul Fodor
ISPAN
2009
IEEE
14 years 5 months ago
High-Performance Cloud Computing: A View of Scientific Applications
— Scientific computing often requires the availability of a massive number of computers for performing large scale experiments. Traditionally, these needs have been addressed by ...
Christian Vecchiola, Suraj Pandey, Rajkumar Buyya
HPDC
2005
IEEE
14 years 4 months ago
Supporting application-tailored grid file system sessions with WSRF-based services
This paper presents novel service-based Grid data management middleware that leverages standards defined by WSRF specifications to create and manage dynamic Grid file system sessi...
Ming Zhao 0002, Vineet Chadha, Renato J. O. Figuei...
WSC
2004
14 years 7 days ago
A Study of the CT Scan Area of a Healthcare Provider
Ancillary departments, which include radiology services, are among the important factors that affect the efficiency of patient care in a hospital. This paper presents results from...
Sreekanth Ramakrishnan, Kaustubh Nagarkar, Monice ...
DEBU
2008
100views more  DEBU 2008»
13 years 11 months ago
WAVE: Automatic Verification of Data-Driven Web Services
Data-driven Web services, viewed broadly as interactive systems available on the Web for users and programs, provide the backbone for increasingly complex Web applications. While ...
Alin Deutsch, Victor Vianu