6167 search results - page 54 / 1234 » Can Refinement be Automated |
EGOV
2009
Springer
14 years 4 months ago
2009
Springer
This paper presents the refinement and validation of a model for Quality of e-Government Services (QeGS). We built upon our previous work where a conceptualized model was identifie...
IPPS
1998
IEEE
14 years 2 months ago
1998
IEEE
Abstract. We address the problem of developing efficient cache coherence protocols implementing distributed shared memory (DSM) using message passing. A serious drawback of traditi...
FMCAD
2007
Springer
14 years 1 months ago
2007
Springer
We present a framework for formal verification of embedded custom memories. Memory verification is complicated ifficulty in abstracting design parameters induced by the inherently ...
DSOM
2006
Springer
14 years 1 months ago
2006
Springer
This paper describes an approach for application specific conflict prevention based on model-driven refinement of policies prior to deployment. Central to the approach is an algori...
LREC
2008
13 years 11 months ago
2008
This paper proposes a ping-pong document clustering method using NMF and the linkage based refinement alternately, in order to improve the clustering result of NMF. The use of NMF...