Sciweavers

1872 search results - page 194 / 375
» The Art of Granular Computing
Sort
View
LOPSTR
2004
Springer
15 years 12 months ago
Determinacy Analysis for Logic Programs Using Mode and Type Information
We propose an analysis for detecting procedures and goals that are deterministic (i.e. that produce at most one solution), or predicates whose clause tests are mutually exclusive (...
Pedro López-García, Francisco Bueno,...
IWPC
2003
IEEE
15 years 11 months ago
Blooms? Taxonomy: A Framework for Assessing Programmers? Knowledge of Software Systems
Programmers must attain knowledge about a system before they can perform specific software maintenance tasks on it. Traditionally, computer scientists have described the activity ...
Jim Buckley, Christopher Exton
ICCS
2003
Springer
15 years 11 months ago
TCM-Grid: Weaving a Medical Grid for Traditional Chinese Medicine
We present a TCM-Grid for Traditional Chinese Medicine (TCM). The purpose of the TCM-Grid is to aid the development of distributed systems that help health professionals, researche...
Huajun Chen, Zhaohui Wu, Chang Huang, Jiefeng Xu
ICSOC
2003
Springer
15 years 11 months ago
PANDA: Specifying Policies for Automated Negotiations of Service Contracts
Abstract. The Web and Grid services frameworks provide a promising infrastructure for cross-organizational use of online services. The use of services in large-scale and cross-orga...
Henner Gimpel, Heiko Ludwig, Asit Dan, Robert Kear...
COMPSAC
2002
IEEE
15 years 11 months ago
New Model and Scheduling Protocol for Transactional Workflows
A transactional workflow is composed of traditional flat transactions, and its execution has relaxed transactional atomicity. Due to different termination characteristics of trans...
Ke Ding, Beihong Jin, Jun Wei, Yulin Feng