9067 search results - page 216 / 1814 » Adaptive Model Checking |
164
Voted
BNCOD
2009
15 years 4 months ago
2009
Nowadays maintenance of database management systems (DBMSs) often requires offline operations for enhancement of functionality or security updates. This hampers the availability of...
160
click to vote
PICS
2001
15 years 7 months ago
2001
In 1998, a Technical Committee 8-04 was formed in CIE/Division 8, "to investigate the state of adaptation of the visual system when comparing soft-copy images on selfluminous...
159
click to vote
WSC
1998
15 years 7 months ago
1998
The fast growth in airline passenger traffic combined with the slow growth in airport capacity worldwide is putting a severe strain on the capability of airlines to adapt their pr...
171
click to vote
ECOOP
2004
Springer
15 years 11 months ago
2004
Springer
The unrelenting pace of change that confronts contemporary software developers compels them to make their applications more configurable, flexible, and adaptive. In order to ach...
146
click to vote
CSFW
2007
IEEE
16 years 23 days ago
2007
IEEE
We address the programmatic realization of the access control model of security in distributed systems. Our aim is e the gap between abstract/declarative policies and their concre...