3555 search results - page 499 / 711 » Security-Critical System Development with Extended Use Cases |
251
click to vote
TAOSD
2010
15 years 5 days ago
2010
The idea behind Aspect-Oriented Modeling (AOM) is to apply aspect-oriented techniques to (software) models with the aim of modularizing crosscutting concerns. This can be done with...
154
click to vote
SAC
2011
ACM
14 years 8 months ago
2011
ACM
Quadrotor helicopters are micro air vehicles with vertical take-off and landing capabilities controlled by varying the rotation speed of four fixed pitch propellers. Due to their...
182
click to vote
INFOCOM
2012
IEEE
13 years 8 months ago
2012
IEEE
—With the proliferation of mobile devices in both smartphone and tablet form factors, it is intuitive and natural for users to socially interact with their collaborators or compe...
165
click to vote
HICSS
2005
IEEE
15 years 11 months ago
2005
IEEE
The goal of a Public-Key-Infrastructure (PKI) is to prove whether a cryptographic public key is authentic for a certain user. This information is crucial for the reliability of as...
132
click to vote
IFIP
2005
Springer
15 years 11 months ago
2005
Springer
In this paper, as a step towards the ultimate aim of developing an evoting system that would be likely to gain and retain the trust of the general voting public, we describe a des...