7080 search results - page 447 / 1416 » Designing High Integrity Systems Using Aspects |
129
click to vote
ICAC
2005
IEEE
15 years 10 months ago
2005
IEEE
System administrators of today’s high performance computing systems are generally responsible for managing the large amounts of data traffic and archival querying that mass stor...
112
click to vote
FAC
2008
15 years 4 months ago
2008
A development of the Mondex system was undertaken using Event-B and its associated proof tools. mental approach was used whereby the refinement between the abstract specification o...
153
Voted
BIRTHDAY
2012
Springer
14 years 11 days ago
2012
Springer
3-D integration presents many new opportunities for architects and embedded systems designers. However, 3-D integration has not yet been explored by the cryptographic hardware com...
115
Voted
GROUP
2003
ACM
15 years 10 months ago
2003
ACM
Most of the available knowledge management systems pay little attention to two important aspects: the need of supporting emerging communities of interest together with the officia...
109
click to vote
ACIVS
2006
Springer
15 years 10 months ago
2006
Springer
A new design for image processing frameworks is proposed. The new design addresses high-level abstractions suited for componentbased image processing applications, in particular re...