Sciweavers

5777 search results - page 201 / 1156
» The palladio component model
Sort
View
SUTC
2010
IEEE
15 years 5 months ago
Transaction-Level Modeling for Sensor Networks Using SystemC
—As sensor networks are finding widespread use across many applications, designers increasingly must not only focus on application development, but also on sensor network optimiz...
Jeff Hiner, Ashish Shenoy, Roman L. Lysecky, Susan...
JCB
2002
131views more  JCB 2002»
15 years 6 months ago
Modeling and Simulation of Genetic Regulatory Systems: A Literature Review
In order to understand the functioning of organisms on the molecular level, we need to know which genes are expressed, when and where in the organism, and to which extent. The reg...
Hidde de Jong
IPL
2010
94views more  IPL 2010»
15 years 5 months ago
Partial model checking via abstract interpretation
model checking via abstract interpretation N. De Francesco, G. Lettieri∗ , L. Martini, G. Vaglini Universit`a di Pisa, Dipartimento di Ingegneria dell’Informazione, sez. Inform...
Nicoletta De Francesco, Giuseppe Lettieri, Luca Ma...
TASLP
2010
103views more  TASLP 2010»
15 years 5 months ago
Percussion Synthesis Based on Models of Nonlinear Shell Vibration
—The synthesis of sound based on physical models of 2-D percussion instruments is problematic and has been approached only infrequently in the literature. Beyond the computationa...
Stefan Bilbao
TKDE
2010
150views more  TKDE 2010»
15 years 5 months ago
Prospective Infectious Disease Outbreak Detection Using Markov Switching Models
—Accurate and timely detection of infectious disease outbreaks provides valuable information which can enable public health officials to respond to major public health threats in...
Hsin-Min Lu, Daniel Zeng, Hsinchun Chen