1860 search results - page 130 / 372 » A Temporal Logic of Robustness |
103
click to vote
FORMATS
2006
Springer
15 years 4 months ago
2006
Springer
We consider interval measurement logic IML, a sublogic of Zhou and Hansen's interval logic, with measurement functions which provide real-valued measurement of some aspect of ...
133
Voted
INFOCOM
2006
IEEE
15 years 6 months ago
2006
IEEE
— Space-time communications can help combat fading and hence can significantly increase the capacity of ad hoc networks. Cooperative diversity or virtual antenna arrays facilita...
100
Voted
ICTAI
2007
IEEE
15 years 7 months ago
2007
IEEE
In this paper we consider the consistency problem of temporal or spatial qualitive constraint networks. A new encoding making it possible to represent and solve this problem in th...
127
click to vote
PODC
1994
ACM
15 years 4 months ago
1994
ACM
We describe a method for writing assumption/guarantee specifications of concurrent systems. We also provide a proof rule for reasoning about the composition of these systems. Spec...
109
click to vote
DLOG
2008
15 years 3 months ago
2008
A recurring problem in conceptual modelling and ontology development is the representation of part-whole relations, with a requirement to be able to distinguish between essential a...