2055 search results - page 243 / 411 » Generic Model Refactorings |
WSC
2008
15 years 5 months ago
2008
In utilizing the technique of stratification, the user needs to first partition/stratify the sample space; the next task is to determine how to allocate samples to strata. How to ...
122
click to vote
APLAS
2008
ACM
15 years 5 months ago
2008
ACM
Abstract. We propose c2-calculus, which is a second-order polymorphic call-by-value calculus with extensional universal types. Unlike product types or function types in call-by-val...
108
click to vote
FSE
2008
Springer
15 years 4 months ago
2008
Springer
Chosen-plaintext attacks on private-key encryption schemes are currently modeled by giving an adversary access to an oracle that encrypts a given message m using random coins that ...
131
click to vote
MEDINFO
2007
15 years 4 months ago
2007
Objectives: To compare the alignments of two large anatomical ontologies (the Foundational Model of Anatomy and GALEN) produced by three ontology alignment systems (AOAS, FALCON a...
130
click to vote
SIMUTOOLS
2008
15 years 4 months ago
2008
New technologies such as IEEE 802.16 (Wi-MAX) [2] and IEEE 802.11e (Wi-Fi with QoS) [1] enable differentiated services. In this study we explore the potential for increasing the r...