4476 search results - page 490 / 896 » Modeling software architectures in the Unified Modeling Lang... |
152
click to vote
OOPSLA
2005
Springer
16 years 1 months ago
2005
Springer
Model-Driven Engineering (MDE) advocates the generation of software applications from models, which are views on certain aspects of the software. In order to minimize the delta bet...
168
click to vote
RE
2005
Springer
16 years 1 months ago
2005
Springer
View merging is an important activity in any conceptual modeling language. It is often desirable to combine a set of views to gain a unified perspective, to test hypotheses about...
220
click to vote
FSTTCS
2000
Springer
15 years 11 months ago
2000
Springer
We present a framework for decision making under uncertainty where the priorities of the alternatives can depend on the situation at hand. We design a logic-programming language, D...
213
click to vote
EUROMICRO
2007
IEEE
15 years 9 months ago
2007
IEEE
BPEL is a de-facto standard language for web service orchestration. It is a challenge to test BPEL processes automatically because of the complex features of the language. The cur...
211
click to vote
BMCBI
2005
15 years 7 months ago
2005
Background: The Generalized Hidden Markov Model (GHMM) has proven a useful framework for the task of computational gene prediction in eukaryotic genomes, due to its flexibility an...