1860 search results - page 95 / 372 » A Temporal Logic of Robustness |
123
Voted
TIME
2007
IEEE
15 years 6 months ago
2007
IEEE
Transaction-time temporal databases and query languages provide a solid framework for analyzing properties of queries over data streams. In this paper we focus on issues connected...
102
Voted
ICTAC
2004
Springer
15 years 6 months ago
2004
Springer
Among the possible approaches for expressing real-time problems with the B method, two are dominant : the use of the usual B mechanisms to define temporal constraints on the one h...
74
Voted
ICCD
2006
IEEE
15 years 9 months ago
2006
IEEE
90
Voted
ISMVL
2003
IEEE
15 years 5 months ago
2003
IEEE
67
Voted
ISLPED
2000
ACM
15 years 5 months ago
2000
ACM
Ø Ð ×Ù ¹Ø Ö × ÓÐ ÐÓ Ö Ù Ø× Ú Ö ÒØÐÝ Ò ÔÖÓ¹ ÔÓ× ÓÖ ÔÔÐ Ø ÓÒ× Ò Ø ÙÐØÖ ¹ÐÓÛ ÔÓÛ Ö Ò Ó Ø ¹ × Ò ×Ô ØÖÙѸ Û Ö Ø Ô ...