4476 search results - page 481 / 896 » Modeling software architectures in the Unified Modeling Lang... |
209
click to vote
SIGSOFT
2000
ACM
15 years 12 months ago
2000
ACM
Constraint-based languages can express in a concise way the complex logic of a new generation of interactive services for applications such as banking or stock trading, that must ...
206
click to vote
AAAI
2004
15 years 9 months ago
2004
Learning how to create, test, and revise models is a central skill in scientific reasoning. We argue that qualitative modeling provides an appropriate level of representation for ...
302
click to vote
PLDI
2005
ACM
16 years 1 months ago
2005
ACM
Robust and powerful software instrumentation tools are essential for program analysis tasks such as profiling, performance evaluation, and bug detection. To meet this need, we ha...
245
click to vote
BPM
2009
Springer
15 years 5 months ago
2009
Springer
The manual adaptation of conceptual models in general and reference models in particular is a time consuming and error prone task, which has to be carefully conducted. The configur...
212
click to vote
CAV
2003
Springer
16 years 25 days ago
2003
Springer
We show that the model checking problem for µ-calculus on graphs of bounded tree-width can be solved in time linear in the size of the system. The result is presented by first sh...