2042 search results - page 324 / 409 » Modeling and Analysis of Probabilistic Timed Systems |
SIGMOD
2004
ACM
14 years 9 months ago
2004
ACM
Real-time surveillance systems, network and telecommunication systems, and other dynamic processes often generate tremendous (potentially infinite) volume of stream data. Effectiv...
ICSE
2000
IEEE-ACM
14 years 15 days ago
2000
IEEE-ACM
Software engineering has traditionally focussed on functional requirements and how to build software that has few bugs and can be easily maintained. Most design approaches include...
DATE
2009
IEEE
14 years 3 months ago
2009
IEEE
RTOS Simulation Henning Zabel, Wolfgang Mueller Universität Paderborn, C-LAB Fürstenallee 11, D-33102 Paderborn, Germany —Today, mobile and embedded real-time systems have to c...
ICC
2007
IEEE
14 years 3 months ago
2007
IEEE
— Recent advances in communication and mobile computing have made it possible for cellular networks and digital broadcasting systems to converge on the basis of their common mult...
COR
2010
13 years 9 months ago
2010
We consider systems of tandem blocking queues having a common retrial queue. The model represents dynamics of short TCP transfers in the Internet. Analytical results are available...