7557 search results - page 583 / 1512 » Modeling Timed Concurrent Systems |
186
click to vote
IEEEARES
2006
IEEE
16 years 1 months ago
2006
IEEE
We present a new approach to integrated security and dependability evaluation, which is based on stochastic modelling techniques. Our proposal aims to provide operational measures...
177
click to vote
JNW
2006
15 years 7 months ago
2006
This paper presents a new approach to integrated security and dependability evaluation, which is based on stochastic modeling techniques. Our proposal aims to provide operational m...
224
click to vote
CATA
2006
15 years 8 months ago
2006
This paper introduces a real time human hand simulation system. A lifelike hand model is constructed and some of the human hand constraints are applied to it. Natural hand gesture...
155
click to vote
WSC
2000
15 years 8 months ago
2000
This paper presents a logistic algorithm that improves traffic conditions in a network-like automated material handling system (AMHS). The algorithm uses a lookahead procedure and...
203
click to vote
WSC
2007
15 years 9 months ago
2007
Cyber security methods are continually being developed. To test these methods many organizations utilize both virtual and physical networks which can be costly and time consuming....