5475 search results - page 1017 / 1095 » Model Driven Security |
SIGSOFT
2003
ACM
16 years 1 months ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...
92
Voted
CHI
2002
ACM
16 years 29 days ago
2002
ACM
A validated model of trust was used as a framework for an empirical study to identify on- and offline factors that influence gamblers' perception of an online casino's t...
94
Voted
HICSS
2008
IEEE
15 years 7 months ago
2008
IEEE
Most Supervisory Control and Data Acquisition (SCADA) systems have been in operation for decades and they in general have 24x7 availability requirement, hence upgrading or adding ...
130
click to vote
MOBIWAC
2006
ACM
15 years 6 months ago
2006
ACM
In this work we present a calibration-free system for locating wireless local area network devices, based on the radio frequency characteristics of such networks. Calibration proc...
105
Voted
MSWIM
2006
ACM
15 years 6 months ago
2006
ACM
Security is a critical issue in mobile commerce, especially in mobile database systems since mobile environments are dynamic and traditional protection mechanisms do not work very...