2293 search results - page 191 / 459 » Temporal Logic in Information Systems |
170
click to vote
SACMAT
2009
ACM
16 years 1 months ago
2009
ACM
A number of research systems have demonstrated the benefits of accompanying each request with a machine-checkable proof that the request complies with access-control policy — a...
175
click to vote
SEKE
2004
Springer
16 years 3 days ago
2004
Springer
Software architecture plays a central role in developing software systems that satisfy functionality and security requirements. However, little has been done to integrate system d...
196
click to vote
DAC
1996
ACM
15 years 11 months ago
1996
ACM
We present a formal verification methodology that we have used on a computer system design project. The methodology integrates a temporal logic model checker with a conventional pr...
169
click to vote
ICFCA
2009
Springer
16 years 1 months ago
2009
Springer
In knowledge representation and reasoning systems, diagrams have many practical applications and are used in numerous settings. Indeed, it is widely accepted that diagrams are a va...
186
click to vote
DOLAP
2006
ACM
16 years 22 days ago
2006
ACM
Decision support systems (DSS) may be enhanced qualitatively if they are able to also deal with spatial dimensions and measures. Regardless the evident importance of using data wa...