16206 search results - page 71 / 3242 » In this issue |
SPIN
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. Model checking real programs has recently become an active research area. Programs however exhibit two characteristics that make model checking di cult: the complexity of...
102
click to vote
DOLAP
2000
ACM
15 years 4 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...
SIGCOMM
2000
ACM
15 years 4 months ago
2000
ACM
The traditional approach to implementing admission control, as exemplified by the Integrated Services proposal in the IETF, uses a signalling protocol to establish reservations a...
ADBIS
2000
Springer
15 years 4 months ago
2000
Springer
We consider queries which originate from a mobile unit and whose result depends on the location of the user who initiates the query. Example of such a query is How many people are ...
103
click to vote
APSEC
1999
IEEE
15 years 4 months ago
1999
IEEE
CORBA (Common Object Request Broker Architecture) is widely perceived as an emerging platform for distributed systems development. In this paper, we discuss CORBA's testing, ...