3911 search results - page 655 / 783 » Using Operational Architecture to Model Embedded Software |
208
click to vote
ASPLOS
2006
ACM
16 years 21 days 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 ...
202
click to vote
POLICY
2004
Springer
16 years 2 days 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...
171
click to vote
EDBT
2004
ACM
16 years 6 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...
139
click to vote
PADS
2005
ACM
16 years 8 days 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...
207
click to vote
AAECC
2007
Springer
15 years 6 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 +...