4460 search results - page 158 / 892 » Formal methods for interactive systems |
125
click to vote
DBSEC
2007
15 years 5 months ago
2007
Abstract. The database server is a crucial bottleneck in traditional inference control architecture, as it enforces highly computation-intensive auditing for all users who query th...
131
click to vote
PUC
2008
15 years 3 months ago
2008
Although many recent systems have been built to support Information Capture and Retrieval (ICR), these have not generally been successful. This paper presents studies that evaluate...
119
click to vote
ICECCS
1997
IEEE
15 years 8 months ago
1997
IEEE
Software architectures can play a role in improving the testing process of complex systems. In particular, descriptions of the software architecture can be useful to drive integra...
162
click to vote
SIGCSE
2002
ACM
15 years 3 months ago
2002
ACM
This paper describes a tutorial program that serves a double role as an educational tool and a research environment. First, it introduces students to fundamental concepts of propo...
113
click to vote
IFM
2004
Springer
15 years 9 months ago
2004
Springer
Recent work on combining CSP and B has provided ways of describing systems comprised of components described in both B (to express requirements on state) and CSP (to express intera...