3028 search results - page 126 / 606 » Integrating Temporal Logics |
126
click to vote
EUSFLAT
2003
15 years 5 months ago
2003
The aim of this paper is to present the Temporal Fuzzy Chains (TFCs) [3] to model the dynamic systems in a linguistic manner. TFCs make use of two different concepts: the traditio...
154
click to vote
TIME
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper, we consider quantitative temporal or spatial constraint networks whose constraints evolve over time in an ultimately periodic fashion. These constraint networks are...
118
click to vote
ITCC
2003
IEEE
15 years 9 months ago
2003
IEEE
A multimedia server needs to satisfy the temporal ordering of multimedia data streams when servicing a client. Multimedia data has high bandwidth requirements, and within a networ...
136
click to vote
TIME
2007
IEEE
15 years 10 months ago
2007
IEEE
Computer science has long been considered to emphasize three distinct perspectives: mathematics, science, and engineering. While the database field has some very strong mathemati...
121
click to vote
FSEN
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We present Trio2Promela, a tool for model checking TRIO specifications by means of Spin. TRIO is a linear-time temporal logic with both future and past operators and a qu...