Sciweavers

996 search results - page 134 / 200
» A Compositional Model for Software Reuse
Sort
View
BMCBI
2010
92views more  BMCBI 2010»
15 years 4 months ago
YODA: Software to facilitate high-throughput analysis of chronological life span, growth rate, and survival in budding yeast
Background: The budding yeast Saccharomyces cerevisiae is one of the most widely studied model organisms in aging-related science. Although several genetic modifiers of yeast long...
Brady Olsen, Christopher J. Murakami, Matt Kaeberl...
DAGSTUHL
2006
15 years 5 months ago
Modeling and Aspect Weaving
A model is a simplified representation of an aspect of the world for a specific purpose. Complex systems typically give rise to more than one model because many aspects are to be h...
Jean-Marc Jézéquel
MSE
2002
IEEE
122views Hardware» more  MSE 2002»
15 years 8 months ago
Modeling and Analyzing SMIL Documents in SAM
A composite multimedia object has specific timing relationships among the different types of component media. Coordinating the real-time presentation of information and maintaini...
Huiqun Yu, Xudong He, Shu Gao, Yi Deng
ECBS
2010
IEEE
224views Hardware» more  ECBS 2010»
15 years 10 months ago
Timed Automata Model for Component-Based Real-Time Systems
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
Georgiana Macariu, Vladimir Cretu
QSIC
2007
IEEE
15 years 10 months ago
Verifying Noninterference in a Cyber-Physical System The Advanced Electric Power Grid
The advanced electric power grid is a complex real-time system having both Cyber and Physical components. While each component may function correctly, independently, their composi...
Yan Sun, Bruce M. McMillin, Xiaoqing Frank Liu, Da...