2293 search results - page 166 / 459 » Temporal Logic in Information Systems |
191
click to vote
ENTCS
2006
15 years 6 months ago
2006
Formal notations for system performance modeling need to be equipped with suitable notations for specifying performance measures. These companion notations have been traditionally...
179
click to vote
IPL
2002
15 years 6 months ago
2002
We develop a formal semantics of sequence diagrams. The semantics is given in terms of our new temporal logic, named HDTL, which is designed to specify dynamically evolving system...
196
click to vote
PLDI
2009
ACM
15 years 11 months ago
2009
ACM
Dynamic information flow policies, such as declassification, are essential for practically useful information flow control systems. However, most systems proposed to date that ...
267
click to vote
APVIS
2011
14 years 6 months ago
2011
Many data sets exist that contain both geospatial and temporal elements. Within such data sets, it can be difficult to determine how the data have changed over spatial and tempor...
197
click to vote
RULEML
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information. Such reasoning is, among others, useful for ontology i...