259 search results - page 51 / 52 » Requirements Specification as Executable Software Design - A... |
107
Voted
CCS
2008
ACM
15 years 4 months ago
2008
ACM
As cryptographic protocols execute they accumulate information such as values and keys, and evidence of properties about this information. As execution proceeds, new information b...
173
Voted
ISCA
2011
IEEE
14 years 6 months ago
2011
IEEE
High assurance systems used in avionics, medical implants, and cryptographic devices often rely on a small trusted base of hardware and software to manage the rest of the system. ...
111
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Aggregation is an important building block of modern distributed applications, allowing the determination of meaningful properties (e.g. network size, total storage capac...
134
Voted
IISWC
2009
IEEE
15 years 9 months ago
2009
IEEE
— Programming to exploit the resources in a multicore system remains a major obstacle for both computer and software engineers. Transactional memory offers an attractive alternat...
143
Voted
AOSD
2008
ACM
15 years 4 months ago
2008
ACM
We have reimplemented the frontend of the extensible AspectBench Compiler for AspectJ, using the aspect-oriented meta-compiler JastAdd. The original frontend was purely object-ori...