2042 search results - page 299 / 409 » Modeling and Analysis of Probabilistic Timed Systems |
115
click to vote
GROUP
2009
ACM
15 years 11 months ago
2009
ACM
A collaborative system must perform both processing and transmission tasks. We present a policy for scheduling these tasks on a single core that is inspired by studies of human pe...
140
click to vote
IJCAI
1989
15 years 5 months ago
1989
To explore the parallelism among rules is one of the ways to increase the speed of production systems. In this paper, an Object Pattern Matching model is proposed to interpret the...
124
click to vote
ICCS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Modeling is considered an inherent part of design, operation and optimization of Water Quality Systems. Models are used for running so-called Virtual Experiments, such as...
134
click to vote
CANS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Anonymous credentials are widely used to certify properties of a credential owner or to support the owner to demand valuable services, while hiding the user’s identity ...
139
click to vote
SEUS
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract. Code generation from models is the ultimate goal of model-based design. For real-time systems the generated code must be analyzable for the worstcase execution time (WCET...