3357 search results - page 245 / 672 » Controlling Complexity |
171
click to vote
CSFW
2008
IEEE
16 years 1 months ago
2008
IEEE
Authorization logics provide a principled and flexible approach to specifying access control policies. One of their compelling benefits is that a proof in the logic is evidence ...
166
click to vote
ICC
2007
IEEE
16 years 27 days ago
2007
IEEE
Abstract—A new 4 × 1 scheme of transmitting two real orthogonal space-time block codes (O-STBC) on the I- and Q-channels with pulse-shaped offset QAM is proposed. This scheme ac...
150
click to vote
HICSS
2006
IEEE
16 years 18 days ago
2006
IEEE
Triggered by several embarrassing (and costly) IT project collapses in New Zealand’s public sector, a government report found that effective project control required good govern...
179
click to vote
VRCAI
2006
ACM
16 years 15 days ago
2006
ACM
We present a system that exploits advanced Virtual Reality technologies to create a surveillance and security system. Surveillance cameras are carried by a mini Blimp which is tel...
191
click to vote
SACMAT
2010
ACM
15 years 11 months ago
2010
ACM
We show the practical feasibility of monitoring complex security properties using a runtime monitoring approach for metric first-order temporal logic. In particular, we show how ...