2042 search results - page 278 / 409 » Modeling and Analysis of Probabilistic Timed Systems |
122
click to vote
POLICY
2005
Springer
15 years 9 months ago
2005
Springer
Policy refinement is meant to derive lower-level policies from higher-level ones so that these more specific policies are better suited for use in different execution environments...
131
Voted
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
— Scanning transmission electron microscopes are indispensable tools for material science research, since they can reveal the internal structure of a wide range of specimens. Thu...
154
click to vote
BROADNETS
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper studies the system parameters that affect the total cost of managing the multicast group on a router. A Petri net model is first proposed to describe the states and tra...
161
click to vote
INFORMS
1998
15 years 3 months ago
1998
High-level formalisms such as stochastic Petri nets can be used to model complex systems. Analysis of logical and numerical properties of these models often requires the generatio...
126
click to vote
CAD
2005
Springer
15 years 4 months ago
2005
Springer
Current methods for recognition and interpretation of architectural drawings are limited to either low-level analysis of paper drawings or interpretation of electronic drawings th...