984 search results - page 52 / 197 » Experimenting with Multi-Level Models in a Two-Level Modelin... |
133
click to vote
ENTCS
2006
15 years 3 months ago
2006
The approaches to automatic formal verification of UML models known up to now require a finite bound on the number of objects existing at each point in time. In [4] we have observ...
123
Voted
HICSS
1999
IEEE
15 years 7 months ago
1999
IEEE
The architecture is the fundamental framework for designing and implementing large scale software, and the ability to trace and control its evolution is essential. However, many t...
108
click to vote
ICML
2004
IEEE
16 years 4 months ago
2004
IEEE
We study the problem of modeling species geographic distributions, a critical problem in conservation biology. We propose the use of maximum-entropy techniques for this problem, s...
122
Voted
RE
2005
Springer
15 years 9 months ago
2005
Springer
This paper describes the requirements handling process of a set of research projects, the ATHENA IP, and how this process is supported by modeling and visualizing requirement stru...
128
Voted
CAV
2007
Springer
15 years 7 months ago
2007
Springer
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...