Sciweavers

423 search results - page 31 / 85
» Formal access control analysis in the software development p...
Sort
View
JUCS
2000
102views more  JUCS 2000»
13 years 8 months ago
Towards Two-Level Formal Modeling of Computer-Based Systems
: Embedded Computer-based Systems are becoming highly complex and hard to implement because of the large number of concerns the designers have to address. These systems are tightly...
Gabor Karsai, Greg Nordstrom, Ákos Lé...
SECON
2007
IEEE
14 years 3 months ago
Fairness and Physical Layer Capture in Random Access Networks
Abstract— While physical layer capture has been observed in real implementations of wireless devices which randomly accessing shared channels, fair rate control algorithms based ...
Hoon Chang, Vishal Misra, Dan Rubenstein
BMCBI
2006
97views more  BMCBI 2006»
13 years 8 months ago
Goulphar: rapid access and expertise for standard two-color microarray normalization methods
Background: Raw data normalization is a critical step in microarray data analysis because it directly affects data interpretation. Most of the normalization methods currently used...
Sophie Lemoine, Florence Combes, Nicolas Servant, ...
BMCBI
2008
77views more  BMCBI 2008»
13 years 9 months ago
Stochastic models for the in silico simulation of synaptic processes
Background: Research in life sciences is benefiting from a large availability of formal description techniques and analysis methodologies. These allow both the phenomena investiga...
Andrea Bracciali, Marcello Brunelli, Enrico Catald...
AGILEDC
2003
IEEE
14 years 2 months ago
Making Agile Development Work in a Government Contracting Environment - Measuring velocity with Earned Value
: Before any of the current “agile” development methods, Earned Value Management provided information for planning and controlling complex projects by measuring how much “val...
Glen B. Alleman, Michael Henderson, Ray Seggelke