3357 search results - page 245 / 672 » Controlling Complexity |
190
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 ...
188
click to vote
ICC
2007
IEEE
16 years 1 months 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...
170
click to vote
HICSS
2006
IEEE
16 years 1 months 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...
197
Voted
VRCAI
2006
ACM
16 years 1 months 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...
214
Voted
SACMAT
2010
ACM
15 years 12 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 ...