2811 search results - page 141 / 563 » Real-Time Component-Based Systems |
CSREAPSC
2006
13 years 11 months ago
2006
RTSS
2006
IEEE
14 years 4 months ago
2006
IEEE
ECRTS
2003
IEEE
14 years 3 months ago
2003
IEEE
CDVE
2005
Springer
14 years 3 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 ...
ATAL
2005
Springer
14 years 3 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 ...