1654 search results - page 23 / 331 » Comparing Two Software Design Process Theories |
ENTCS
2008
14 years 10 months ago
2008
Efficient handling of quantifiers is crucial for solving software verification problems. E-matching algorithms are used in satisfiability modulo theories solvers that handle quant...
103
click to vote
BPM
2006
Springer
15 years 1 months ago
2006
Springer
Mining, discovering, and integrating process-oriented services has attracted growing attention in the recent year. Workflow precedence graph and workflow block structures are two i...
119
click to vote
RECOMB
2004
Springer
15 years 10 months ago
2004
Springer
In situ staining of a target mRNA at several time points during the development of a D. melanogaster embryo gives one a detailed spatio-temporal view of the expression pattern of ...
CCE
2007
14 years 10 months ago
2007
In order to achieve global stability using well-established linear control theory and techniques, a multiple model approach has attracted increased attention in recent years. In o...
SERP
2008
14 years 11 months ago
2008
In aspect-oriented model driven engineering (AOMDE), a software design model consists of a primary model that describes the business logic of the application and a set of aspect m...