Sciweavers

374 search results - page 7 / 75
» A Model of Fair Process and Its Limits
Sort
View
IJCIS
1998
116views more  IJCIS 1998»
13 years 7 months ago
Distributed Query Scheduling Service: An Architecture and Its Implementation
We present the systematic design and development of a distributed query scheduling service DQS in the context of DIOM, a distributed and interoperable query mediation system 26 ...
Ling Liu, Calton Pu, Kirill Richine
WSC
2000
13 years 9 months ago
Using simulation for manufacturing process reengineering: a practical case study
This paper presents a simulation study carried out to solve a problem of manufacturing process reengineering. The specific company in which the study took place is a medium size m...
Lisete Silva, Ana Luisa Ramos, Pedro M. Vilarinho
FLAIRS
2006
13 years 9 months ago
The ASSISTment Builder: Towards an Analysis of Cost Effectiveness of ITS Creation
Intelligent Tutoring Systems, while effective at producing student learning [2,7], are notoriously costly to construct [1,9], and require PhD level experience in cognitive science...
Neil T. Heffernan, Terrence E. Turner, Abraao L. N...
CAV
2004
Springer
128views Hardware» more  CAV 2004»
14 years 1 months ago
Proving More Properties with Bounded Model Checking
Bounded Model Checking, although complete in theory, has been thus far limited in practice to falsification of properties that were not invariants. In this paper we propose a term...
Mohammad Awedh, Fabio Somenzi
ICEBE
2007
IEEE
182views Business» more  ICEBE 2007»
14 years 2 months ago
Service-Oriented Business Process Modeling and Performance Evaluation based on AHP and Simulation
With the evolution of Grid technologies and the application of Service-Oriented Architecture (SOA), more and more enterprises are integrated and collaborated with each other in a ...
Sen Zeng, Shuangxi Huang, Yushun Fan