3645 search results - page 314 / 729 » Implementing mapping composition |
160
click to vote
LCTRTS
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. We present a compositional approach to the implementation of hard real-time software running on a distributed platform. We explain how several code suppliers, coordinated...
167
click to vote
RE
2004
Springer
16 years 22 hour ago
2004
Springer
Aspect-oriented software development (AOSD) techniques support systematic modularization and composition of crosscutting concerns. Though AOSD techniques have been proposed to han...
170
click to vote
DATE
2003
IEEE
15 years 12 months ago
2003
IEEE
Managing the complexity of designing chips containing billions of transistors requires decoupling computation from communication. For the communication, scalable and compositional...
149
click to vote
AOSD
2003
ACM
15 years 12 months ago
2003
ACM
From the early days of object-oriented programming, the model-view-controller paradigm has been pursued for a clear design which separates different responsibilities within an in...
197
click to vote
CCS
2009
ACM
15 years 10 months ago
2009
ACM
We present an approach for the design and analysis of an electronic voting machine based on a novel combination of formal verification and systematic testing. The system was desig...