2811 search results - page 141 / 563 » Real-Time Component-Based Systems |
RTSS
2006
IEEE
15 years 8 months ago
2006
IEEE
ECRTS
2003
IEEE
15 years 7 months ago
2003
IEEE
123
click to vote
CDVE
2005
Springer
15 years 7 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 ...
132
click to vote
ATAL
2005
Springer
15 years 8 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 ...