Sciweavers

7891 search results - page 1433 / 1579
» Local Area Networking
Sort
View
FM
2009
Springer
138views Formal Methods» more  FM 2009»
14 years 5 months ago
What Can Formal Methods Bring to Systems Biology?
This position paper argues that the operational modelling approaches from the formal methods community can be applied fruitfully within the systems biology domain. The results can ...
Nicola Bonzanni, K. Anton Feenstra, Wan Fokkink, E...
DSN
2008
IEEE
14 years 5 months ago
Enhancing data availability in disk drives through background activities
Latent sector errors in disk drives affect only a few data sectors. They occur silently and are detected only when the affected area is accessed again. If a latent error is detect...
Ningfang Mi, Alma Riska, Evgenia Smirni, Erik Ried...
GLOBECOM
2008
IEEE
14 years 5 months ago
Adaptive Soft Frequency Reuse for Inter-Cell Interference Coordination in SC-FDMA Based 3GPP LTE Uplinks
This paper proposes a decentralized adaptive soft frequency reuse scheme for the uplink of a 4G long-term evolution (LTE) system. While universal frequencies reuse (UFR) is being ...
Xuehong Mao, Amine Maaref, Koon Hoo Teo
IJCNN
2008
IEEE
14 years 5 months ago
Including multi-objective abilities in the Hybrid Intelligent Suite for decision support
— Hybrid intelligent systems (HIS) are very successful in tackling problems comprising of more than one distinct computational subtask. For instance, decision-making problems are...
Diogo Ferreira Pacheco, Flávio R. S. Olivei...
SECURWARE
2008
IEEE
14 years 5 months ago
ToLeRating UR-STD
A new emerging paradigm of Uncertain Risk of Suspicion, Threat and Danger, observed across the field of information security, is described. Based on this paradigm a novel approac...
Jan Feyereisl, Uwe Aickelin
« Prev « First page 1433 / 1579 Last » Next »