Sciweavers

2334 search results - page 61 / 467
» How are Real Grids Used
Sort
View
FORTEST
2008
13 years 11 months ago
Testing Real-Time Systems Using UPPAAL
Abstract. This chapter presents principles and techniques for model-based blackbox conformance testing of real-time systems using the UPPAAL model-checking tool-suite. The basis fo...
Anders Hessel, Kim Guldstrand Larsen, Marius Mikuc...
BMCBI
2008
87views more  BMCBI 2008»
13 years 10 months ago
Evaluation of two methods for computational HLA haplotypes inference using a real dataset
Background: HLA haplotype analysis has been used in population genetics and in the investigation of disease-susceptibility locus, due to its high polymorphism. Several methods for...
Bruno F. Bettencourt, Margarida R. Santos, Raquel ...
AAI
2000
182views more  AAI 2000»
13 years 10 months ago
Implementing a Business Process Management System Using ADEPT: A Real-World Case Study
: This paper describes how ADEPT's agent-based design and implementation philosophy was used to prototype a business process management system for a real-world application. Th...
Nicholas R. Jennings, Peyman Faratin, Timothy J. N...
EMNLP
2009
13 years 7 months ago
Real-Word Spelling Correction using Google Web 1T 3-grams
We present a method for detecting and correcting multiple real-word spelling errors using the Google Web 1T 3-gram data set and a normalized and modified version of the Longest Co...
Aminul Islam, Diana Inkpen
IPPS
2006
IEEE
14 years 4 months ago
An economy-driven mapping heuristic for hierarchical master-slave applications in grid systems
In heterogeneous distributed systems, such as Grids, a resource broker is responsible of automatically selecting resources, and mapping application tasks to them. A crucial aspect...
Nadia Ranaldo, Eugenio Zimeo