283 search results - page 28 / 57 » Software Inspections We Can Trust |
102
click to vote
CGO
2006
IEEE
15 years 5 months ago
2006
IEEE
As the amount of available silicon resources on one chip increases, we have seen the advent of ever increasing parallel resources integrated on-chip. Many architectures use these ...
104
click to vote
ECEASST
2008
14 years 12 months ago
2008
Abstract: Templates are a language feature of C++ and can be used for metaprogramming. The metaprogram is executed by the compiler and outputs source code which is then compiled. T...
ISSRE
2008
IEEE
15 years 6 months ago
2008
IEEE
Aspect-Oriented Programming (AOP) provides new modularization of software systems by encapsulating crosscutting concerns. AspectJ, an AOP language, uses abstractions such as point...
113
click to vote
AFP
2004
Springer
15 years 5 months ago
2004
Springer
Abstraction and application, tupling and projection: these provide the ‘software engineering’ superstructure for programs, and our familiar type systems ensure that these opera...
124
click to vote
DCOSS
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. This paper presents a protocol called SAKE (Software Attestation for Key Establishment), for establishing a shared key between any two neighboring nodes of a sensor netwo...