648 search results - page 112 / 130 » A Proposal for ASM Diagrams |
UML
1998
Springer
14 years 1 months ago
1998
Springer
At British Airways, we have found during several large OO projects documented using the UML that non-technical end-users, managers and business domain experts find it difficult to ...
COMPGEOM
1997
ACM
14 years 1 months ago
1997
ACM
Abstract. In the context of methodologies intended to confer robustness to geometric algorithms, we elaborate on the exact-computation paradigm and formalize the notion of degree o...
CAV
2006
Springer
14 years 16 days ago
2006
Springer
We present an approach for applying symmetry reduction techniques to probabilistic model checking, a formal verification method for the quantitative analysis of systems with stocha...
ECOOP
2006
Springer
14 years 14 days ago
2006
Springer
Aspect-Oriented Programming (AOP) is a powerful technique to better modularize object-oriented programs by introducing crosscutting concerns in a safe and noninvasive way. Unfortu...
EMO
2006
Springer
14 years 14 days ago
2006
Springer
Abstract. Archives are used in Multi-Objective Evolutionary Algorithms to establish elitism. Depending on the optimization problem, an unconstrained archive may grow to an immense ...