2274 search results - page 390 / 455 » Qualitative Modeling for Requirements Engineering |
164
click to vote
TC
2011
14 years 12 months ago
2011
— Implementing shared memory consistency models on top of hardware caches gives rise to the well-known cache coherence problem. The standard solution involves implementing cohere...
151
click to vote
WWW
2005
ACM
16 years 6 months ago
2005
ACM
We present a language for specifying web service interfaces. A web service interface puts three kinds of constraints on the users of the service. First, the interface specifies th...
158
click to vote
CGO
2006
IEEE
15 years 11 months ago
2006
IEEE
Software code caches help amortize the overhead of dynamic binary transformation by enabling reuse of transformed code. Since code caches contain a potentiallyaltered copy of ever...
155
click to vote
GCB
2004
Springer
15 years 11 months ago
2004
Springer
: Carbon Labeling Systems (CLS) are large equation systems that describe the dynamics of labeled carbon atoms in a metabolic network. The rapid solution of these systems is the alg...
152
click to vote
UML
2004
Springer
15 years 10 months ago
2004
Springer
We believe that there is a very strong need for an environment to support research and experiments on model-driven engineering. Therefore we have started the TopModL project, an o...