Sciweavers

CORR
2006
Springer
147views Education» more  CORR 2006»
13 years 4 months ago
Models simulation and interoperability using MDA and HLA
: In the manufacturing context, there have been numerous efforts to use modeling and simulation tools and techniques to improve manufacturing efficiency over the last four decades....
Hind El Haouzi
CORR
2006
Springer
107views Education» more  CORR 2006»
13 years 4 months ago
Optimal Scheduling of Peer-to-Peer File Dissemination
Peer-to-peer (P2P) overlay networks such as BitTorrent and Avalanche are increasingly used for disseminating potentially large files from a server to many end users via the Intern...
Jochen Mundinger, Richard R. Weber, Gideon Weiss
CORR
2006
Springer
106views Education» more  CORR 2006»
13 years 4 months ago
Iso9000 Based Advanced Quality Approach for Continuous Improvement of Manufacturing Processes
: The continuous improvement in TQM is considered as the core value by which organisation could maintain a competitive edge. Several techniques and tools are known to support this ...
Salah Deeb, Benoît Iung
CORR
2006
Springer
85views Education» more  CORR 2006»
13 years 4 months ago
Fairness in Multiuser Systems with Polymatroid Capacity Region
Mohammad Ali Maddah-Ali, Amin Mobasher, Amir K. Kh...
CORR
2006
Springer
149views Education» more  CORR 2006»
13 years 4 months ago
Synonym search in Wikipedia: Synarcher
The program Synarcher for synonym (and related terms) search in the text corpus of special structure (Wikipedia) was developed. The results of the search are presented in the form...
Andrew Krizhanovsky
CORR
2006
Springer
158views Education» more  CORR 2006»
13 years 4 months ago
Building a resource for studying translation shifts
This paper describes an interdisciplinary approach which brings together the fields of corpus linguistics and translation studies. It presents ongoing work on the creation of a co...
Lea Cyrus
CORR
2006
Springer
88views Education» more  CORR 2006»
13 years 4 months ago
On Typechecking Top-Down XML Tranformations: Fixed Input or Output Schemas
Typechecking consists of statically verifying whether the output of an XML transformation always conforms to an output type for documents satisfying a given input type. In this ge...
Wim Martens, Frank Neven, Marc Gyssens
CORR
2006
Springer
108views Education» more  CORR 2006»
13 years 4 months ago
Static Analysis using Parameterised Boolean Equation Systems
The well-known problem of state space explosion in model checking is even more critical when applying this technique to programming languages, mainly due to the presence of complex...
María-del-Mar Gallardo, Christophe Joubert,...