2835 search results - page 311 / 567 » Common Semantics for Use Cases and Task Models |
159
click to vote
ZUM
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. We present a new combination CSP-OZ-DC of three well researched formal techniques for the specification of processes, data and time: CSP [17], Object-Z [36], and Duration...
163
click to vote
LOGCOM
2010
15 years 2 months ago
2010
The aim of this paper is double. From one side we survey the knowledge we have acquired these last ten years about the lattice of all λ-theories (= equational extensions of untype...
127
Voted
ECOOP
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Aspect-oriented programming (AOP) has produced interesting language designs, but also ad hoc semantics that needs clarification. We contribute to this clarification wit...
149
click to vote
SASO
2007
IEEE
15 years 10 months ago
2007
IEEE
— Designing and implementing artificial self-organizing systems is a challenging task since they typically behave nonintuitive and no theoretical foundations exist. Predicting a...
141
click to vote
HOLOMAS
2009
Springer
15 years 9 months ago
2009
Springer
In this paper a synthetic mobility model which represents behavior and movement pattern of heterogeneous units in disaster relief and battlefield scenarios is proposed. These oper...