4476 search results - page 350 / 896 » Modeling software architectures in the Unified Modeling Lang... |
181
click to vote
CIMCA
2008
IEEE
16 years 1 months ago
2008
IEEE
Complex and long-lived software need to be upgraded at runtime. Replacing a software component with a newer version is the basic evolution operation that has to be supported. It i...
175
click to vote
ICCSA
2005
Springer
16 years 10 days ago
2005
Springer
Genetic Studies examine relationships between genetic variation and disease development. Pharmacogenetics studies the responses to drugs against genetic variation. These two lines ...
230
click to vote
SIGIR
2012
ACM
13 years 9 months ago
2012
ACM
The intent-oriented search diversification methods developed in the field so far tend to build on generative views of the retrieval system to be diversified. Core algorithm compon...
192
click to vote
CAISE
2005
Springer
16 years 11 days ago
2005
Springer
: In this paper, we propose an MDA based approach for developing multi-agent systems. MDA specifies a structured software development process divided in modeling stages. In the PIM...
186
click to vote
KBSE
2005
IEEE
16 years 12 days ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...