7080 search results - page 1081 / 1416 » Designing High Integrity Systems Using Aspects |
119
Voted
NSPW
2003
ACM
15 years 9 months ago
2003
ACM
In this paper, we argue that person-to-person key distribution is best accomplished with a key-centric approach, instead of PKI: users should distribute public key fingerprints in...
116
Voted
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Now a days, power has become a primary consideration in hardware design, and is critical in computer systems especially for portable devices with high performance and more functio...
130
Voted
VRML
2004
ACM
15 years 10 months ago
2004
ACM
Mining operations have traditionally used specialised software packages to process and visualise valuable mining data. The downside to this approach is that the information can on...
144
click to vote
HYBRID
2010
Springer
15 years 9 months ago
2010
Springer
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...
162
click to vote
MOBICOM
2004
ACM
15 years 10 months ago
2004
ACM
One key usage of VANET is to support vehicle safety applications. This use case is characterized by the prominence of broadcasts in scaled settings. In this context, we try to ans...