3828 search results - page 668 / 766 » Proof-Based System Engineering Using a Virtual System Model |
148
click to vote
CCS
2011
ACM
14 years 2 months ago
2011
ACM
Verifying that access-control systems maintain desired security properties is recognized as an important problem in security. Enterprise access-control systems have grown to prote...
158
click to vote
SIGMOD
2011
ACM
14 years 5 months ago
2011
ACM
In most enterprises, databases are deployed on dedicated database servers. Often, these servers are underutilized much of the time. For example, in traces from almost 200 producti...
170
Voted
DEM
2001
Springer
15 years 6 months ago
2001
Springer
A common concern of the real−time terrain visualisation of today is the lack of geometric detail, when the terrain model is studied close enough. This is primary not a problem of...
143
Voted
ACSAC
2002
IEEE
15 years 7 months ago
2002
IEEE
Active Spaces are physical spaces augmented with heterogeneous computing and communication devices along with supporting software infrastructure. This integration facilitates coll...
112
click to vote
ICMCS
2010
IEEE
15 years 2 months ago
2010
IEEE
In daily life, we can see images of real-life objects on posters, television, or virtually any type of smooth physical surfaces. We seldom confuse these images with the objects pe...