149 search results - page 29 / 30 » On Statistical Model Checking of Stochastic Systems |
WSDM
2010
ACM
14 years 3 months ago
2010
ACM
Activity in social media such as blogs, micro-blogs, social networks, etc is manifested via interaction that involves text, images, links and other information items. Naturally, s...
DAC
1998
ACM
13 years 10 months ago
1998
ACM
Networked embedded systems are expected to support adaptive streaming audio/video applications with soft real-time constraints. These systems can be designed in a cost efficient ...
KDD
2009
ACM
14 years 6 months ago
2009
ACM
The increasing availability of electronic communication data, such as that arising from e-mail exchange, presents social and information scientists with new possibilities for char...
SIGSOFT
2007
ACM
14 years 6 months ago
2007
ACM
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...
PE
2010
Springer
13 years 4 months ago
2010
Springer
We consider a push pull queueing system with two servers and two types of jobs which are processed by the two servers in opposite order, with stochastic generally distributed proc...