8154 search results - page 1383 / 1631 » Understanding changes in use cases: A case study |
169
click to vote
AIIA
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. When dealing with real systems, it is unrealistic to suppose that observations can be totally ordered according to their emission dates. The partially ordered observation...
145
click to vote
BPM
2005
Springer
16 years 5 days ago
2005
Springer
Scientific experiments are supported by activities that create, use, communicate and distribute information whose organizational dynamics is similar to processes performed by distr...
155
Voted
CIE
2005
Springer
16 years 5 days ago
2005
Springer
In this work we focus on a formalisation of the algorithms of lazy exact arithmetic `a la Potts and Edalat [1]. We choose the constructive type theory as our formal verification t...
183
click to vote
COCOON
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. The original definition of P-systems calls for rules to be applied in a maximally parallel fashion. However, in some cases a sequential model may be a more reasonable as...
173
click to vote
COLT
2005
Springer
16 years 5 days ago
2005
Springer
The problem of ranking, in which the goal is to learn a real-valued ranking function that induces a ranking or ordering over an instance space, has recently gained attention in mac...