3121 search results - page 288 / 625 » Information Survivability Control Systems |
165
click to vote
ACSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
We describe an approach to building security services for context-aware environments. Specifically, we focus on the design of security services that incorporate the use of securi...
195
click to vote
COMPSAC
2009
IEEE
15 years 7 months ago
2009
IEEE
Modular certification of low-level intermediate representation (IR) programs is one of the key steps of proof-transforming compilation. The major challenges are lexity of abstract ...
191
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
The semi-automatic or automatic synthesis of robot controller software is both desirable and challenging. Synthesis of rather simple behaviors such as collision avoidance by apply...
180
click to vote
CHI
2011
ACM
14 years 10 months ago
2011
ACM
Composition, listening, and performance are essential activities in classroom music education, yet conventional music classes impose unnecessary limitations on students’ ability...
185
click to vote
DGO
2007
15 years 8 months ago
2007
Government agencies globally are facing problems such as illegal immigration, terrorism, and disease diagnosis and control. Solutions to these problems rely heavily on collaborati...