245 search results - page 30 / 49 » Parametric probabilistic transition systems for system desig... |
INFOCOM
2008
IEEE
14 years 1 months ago
2008
IEEE
—It has been of significant importance to provision network-wide guaranteed QoS for a wide range of event detection applications in wireless sensor networks (WSNs). This paper in...
MIR
2005
ACM
14 years 29 days ago
2005
ACM
We propose a new method for automated large scale gathering of Web images relevant to specified concepts. Our main goal is to build a knowledge base associated with as many conce...
JLP
2010
13 years 2 months ago
2010
Model programs are high-level behavioral specifications used for software testing and design analysis. Composition of model programs is a versatile technique that, at one end of t...
APN
2005
Springer
14 years 29 days ago
2005
Springer
State explosion is a fundamental problem in the analysis and synthesis of discrete event systems. Continuous Petri nets can be seen as a relaxation of discrete models allowing more...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Numerous biological functions--such as enzymatic catalysis, the immune response system, and the DNA-protein regulatory network--rely on the ability of molecules to specifically rec...