6253 search results - page 422 / 1251 » Use Case Modeling Guidelines |
172
Voted
CAV
2010
Springer
15 years 10 months ago
2010
Springer
Well-defined memory consistency models are necessary for writing correct parallel software. Developing and understanding formal specifications of hardware memory models is a chal...
163
Voted
SDM
2007
SIAM
15 years 8 months ago
2007
SIAM
Logistic models are arguably one of the most widely used data analysis techniques. In this paper, we present analyses focussing on two important aspects of logistic models—its r...
185
Voted
ECTEL
2006
Springer
15 years 10 months ago
2006
Springer
In this paper, we introduce a new, formal model of learning object metadata. The model enables more formal, rigorous reasoning over metadata. An important feature of the model is t...
178
click to vote
ICWE
2005
Springer
16 years 11 days ago
2005
Springer
A methodology needs to be empowered by appropriate tool support. The CASE tool ArgoUWE supports designers in the use of the UWE methodology for the systematic, UML-based developmen...
254
Voted
RECOMB
2004
Springer
16 years 7 months ago
2004
Springer
Abstract. In this study we propose a novel model for the representation of biological networks and provide algorithms for learning model parameters from experimental data. Our appr...