1992 search results - page 215 / 399 » Model Based Testing with Labelled Transition Systems |
120
Voted
CLEAR
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Simultaneous tracking of multiple persons in real world environments is an active research field and several approaches have been proposed, based on a variety of features...
139
Voted
TACAS
2004
Springer
15 years 9 months ago
2004
Springer
Numerical analysis based on uniformisation and statistical techniques based on sampling and simulation are two distinct approaches for transient analysis of stochastic systems. We ...
136
Voted
ACMSE
1992
ACM
15 years 7 months ago
1992
ACM
A scheme for disk subsystem performance enhancement that is based on (virtual) cylinder remapping is proposed. A natural workload on a real system is measured, and statistical tes...
137
Voted
IC
2001
15 years 5 months ago
2001
- In this paper, we propose a facilitator which finds capable and trustworthy partners on behalf of client users, which helps users form and maintain e-partnerships for electronic ...
115
Voted
OSDI
2008
ACM
16 years 4 months ago
2008
ACM
Active research is being conducted in reducing power consumption of all the components of the Internet. To that end, we propose schemes for power reduction in network switches - T...