3911 search results - page 655 / 783 » Using Operational Architecture to Model Embedded Software |
181
click to vote
ASPLOS
2006
ACM
15 years 11 months ago
2006
ACM
Sketching is a software synthesis approach where the programmer develops a partial implementation — a sketch — and a separate specification of the desired functionality. The ...
158
click to vote
POLICY
2004
Springer
15 years 10 months ago
2004
Springer
Policy Based Management (PBM) is a research topic that has been driven by the tremendous complexity inherent in the administration and management of present-day networking and tel...
139
click to vote
EDBT
2004
ACM
16 years 5 months ago
2004
ACM
Abstract. With the widespread use of e-business coupled with the public's awareness of data privacy issues and recent database security related legislations, incorporating sec...
118
Voted
PADS
2005
ACM
15 years 10 months ago
2005
ACM
The RINSE simulator is being developed to support large-scale network security preparedness and training exercises, involving hundreds of players and a modeled network composed of...
166
click to vote
AAECC
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. We present new performance models and a new, more compact data structure for cache blocking when applied to the sparse matrixvector multiply (SpM×V) operation, y ← y +...