Sciweavers

3545 search results - page 227 / 709
» Computational methods for case-cohort studies
Sort
View
DANCE
2002
IEEE
15 years 11 months ago
Maude as a Wide-Spectrum Framework for Formal Modeling and Analysis of Active Networks
Modeling and formally analyzing active network systems and protocols is quite challenging, due to their highly dynamic nature and the need for new network models. We propose a wid...
José Meseguer, Peter Csaba Ölveczky, M...
IEEEPACT
2002
IEEE
15 years 11 months ago
Quantifying Instruction Criticality
Information about instruction criticality can be used to control the application of micro-architectural resources efficiently. To this end, several groups have proposed methods t...
Eric Tune, Dean M. Tullsen, Brad Calder
ACHI
2009
IEEE
15 years 10 months ago
Comparing Gesture and Touch for Notification System Interactions
We explore some of the characteristics of multimodal input interaction spaces for notification systems within a multi-tasking environment like a command and control center using t...
Maria Karam, Jason Chong Lee, R. Travis Rose, Fran...
FOCI
2007
IEEE
15 years 10 months ago
On the Influence of Phenotype Plasticity on Genotype Diversity
A large body of research has investigated the advantages of combining phenotype adaptation and genotype adaptation. The hybridization of genetic search and local search methods, of...
Ingo Paenke, Jürgen Branke, Yaochu Jin
EDOC
2009
IEEE
15 years 10 months ago
Enterprise Architecture Analysis for Data Accuracy Assessments
- Poor data in information systems impede the quality of decision-making in many modern organizations. Manual business process activities and application services are never execute...
Per Närman, Pontus Johnson, Mathias Ekstedt, ...