9210 search results - page 152 / 1842 » Analyzing Real-Time Systems |
CDVE
2005
Springer
14 years 2 months ago
2005
Springer
A constraint expresses a relationship among one or more variables. Constraints are very useful in the development of collaborative applications, such as collaborative CAD and CASE ...
ADHOCNETS
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. This paper proposes a way to incorporate multimedia traffic in a real-time wireless communication network without jeopardizing the hard real-time traffic. This idea has ...
COMCOM
2006
13 years 9 months ago
2006
This paper gives an overview of the issues related to the QoS mechanisms under IPv6 and the transition of applications to the new Internet protocol. We describe the implementation...
ATAL
2005
Springer
14 years 2 months ago
2005
Springer
We present TECTLK, a logic to specify knowledge and real time in multi-agent systems. We show that the model checking problem is decidable, and we present an algorithm for TECTLK ...
RTCSA
2008
IEEE
14 years 3 months ago
2008
IEEE