7820 search results - page 31 / 1564 » Formalization of Time and Space |
112
click to vote
FORTE
2007
15 years 2 months ago
2007
Abstract. The publish-subscribe architectural style has recently emerged as a promising approach to tackle the dynamism of modern distributed applications. The correctness of these...
111
Voted
ICFEM
2003
Springer
15 years 5 months ago
2003
Springer
The verification of safety critical systems has become an area of increasing importance in computer science. The notion of reactive system has emerged to concentrate on problems r...
90
Voted
TSE
2002
15 years 8 days ago
2002
113
Voted
ECRTS
2006
IEEE
15 years 6 months ago
2006
IEEE
System robustness is a major concern in the design of efficient and reliable state-of-the-art heterogenous embedded real-time systems. Due to complex component interactions, reso...
76
Voted
SAFECOMP
2004
Springer
15 years 6 months ago
2004
Springer
