365 search results - page 10 / 73 » Liveness in Timed and Untimed Systems |
DAGSTUHL
2007
13 years 11 months ago
2007
Installing and using AAL Smart Home-systems in the homes of older people not only offers a tremendous potential for increasing safety and quality of life but may also evoke relucta...
IANDC
2010
13 years 7 months ago
2010
We consider message sequence charts enriched with timing constraints between pairs of events. As in the untimed setting, an infinite family of time-constrained message sequence cha...
VEE
2006
ACM
14 years 3 months ago
2006
ACM
Many critical IT infrastructures require non-disruptive operations. However, the operating systems thereon are far from perfect that patches and upgrades are frequently applied, i...
ICIP
2005
IEEE
14 years 3 months ago
2005
IEEE
Multimedia streaming is one of the most attractive services over the Internet, for which bandwidth is a primary constraint. For live streaming, however, the computational resource ...
ENTCS
2006
13 years 10 months ago
2006
In previous work we have developed a syntactic reduction of repeated reachability to reachability for finite state systems. This may lead to simpler and more uniform proofs for mo...