968 search results - page 24 / 194 » The Rational Unified Process |
110
Voted
UML
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. In this paper, we propose a verification methodology for System-OnChip (SoC) design using Unified Modeling Language (UML). We introduce UML as a formal model to analyze a...
120
click to vote
ENTCS
2008
15 years 2 months ago
2008
Towards a unifying model of concurrency, we have designed and implemented LMNtal (pronounced "elemental"), a model and language based on hierarchical graph rewriting tha...
122
click to vote
ECSQARU
2009
Springer
14 years 11 months ago
2009
Springer
We claim that divisible residuated lattices (DRLs) can act as a unifying evaluation framework for soft constraint satisfaction problems (soft CSPs). DRLs form the algebraic semanti...
112
click to vote
ICSE
2004
IEEE-ACM
16 years 2 months ago
2004
IEEE-ACM
In large projects, software developers struggle with two sources of complexity ? the complexity of the code itself, and the complexity of the process of producing it. Both of thes...
116
click to vote
AIMSA
2004
Springer
15 years 5 months ago
2004
Springer
Multi-agent reinforcement learning (MARL) is an emerging area of research. However, it lacks two important elements: a coherent view on MARL, and a well-defined problem objective. ...