551 search results - page 33 / 111 » Realizability of Real-Time Logics |
JCP
2008
13 years 9 months ago
2008
Differentiated Services (DiffServ)-aware network potentially can provide the next generation platform for multimedia support in the Internet. In this work we look at improving band...
AVI
2008
14 years 3 days ago
2008
An emerging trend in Web computing aims at collecting and integrating distributed data. For instance, community driven efforts recently have build ontological repositories made of...
IANDC
2007
13 years 9 months ago
2007
Temporal logic based on the two modalities “Since” and “Until” (TL) is the most popular logic for the specification of reactive systems. It is often called the linear tim...
ISCC
1999
IEEE
14 years 2 months ago
1999
IEEE
For multimedia senders to benefit the most of dynamically changing availability of network resources they need to adjust their transmission behavior in accordance with the network...
JCP
2008
13 years 9 months ago
2008
Implantable pacemaker is a battery operated real time embedded system, which includes software/hardware codesign strategy. As it is placed within the heart by surgery, battery life...