800 search results - page 70 / 160 » XML access control using static analysis |
131
click to vote
SIGSOFT
2003
ACM
16 years 4 months ago
2003
ACM
Real-time, reactive, and embedded systems are increasingly used throughout society (e.g., flight control, railway signaling, vehicle management, medical devices, and many others)....
129
Voted
DOLAP
2000
ACM
15 years 8 months ago
2000
ACM
With the use of data warehousing and online analytical processing (OLAP) for decision support applications new security issues arise. The goal of this paper is to introduce an OLA...
131
Voted
CIS
2007
Springer
15 years 5 months ago
2007
Springer
Multi-domain application environments where distributed domains interoperate with each other are becoming a reality in Internet-based enterprise applications. The secure interoper...
178
Voted
TASE
2008
IEEE
15 years 3 months ago
2008
IEEE
In this paper we deal with the problem of modeling railway networks with Petri nets so as to apply the theory of supervisory control for discrete event systems to automatically de...
127
Voted
ICSE
2008
IEEE-ACM
16 years 3 months ago
2008
IEEE-ACM
Several tools and methods for source code quality assurance based on static analysis finally reached a state when they are applicable in practice and recognized by the industry. H...