4341 search results - page 688 / 869 » Quantitative Model checking |
197
click to vote
QEST
2008
IEEE
16 years 26 days ago
2008
IEEE
We tackle the problem of non robustness of simulation and bisimulation when dealing with probabilistic processes. It is important to ignore tiny deviations in probabilities becaus...
181
click to vote
QEST
2008
IEEE
16 years 26 days ago
2008
IEEE
We present the KPC-Toolbox, a collection of Matlab scripts for fitting workload traces into Markovian Arrival Processes (MAPs) in an automatic way. We first present detailed sen...
210
click to vote
RTCSA
2008
IEEE
16 years 26 days ago
2008
IEEE
Nowadays, systems often integrate a variety of applications whose service requirements are heterogeneous. Consequently, systems must be able to concurrently serve applications whi...
160
click to vote
WCNC
2008
IEEE
16 years 25 days ago
2008
IEEE
: Sensor management deals with the efficient resource allocation to meet mission objectives of the application, air traffic control. A schedule for the sensors is constructed, whic...
170
click to vote
ACSC
2007
IEEE
16 years 25 days ago
2007
IEEE
Statistical learning methods are commonly applied in content-based video and image retrieval. Such methods require a large number of examples which are usually obtained through a ...