4250 search results - page 216 / 850 » Understanding the Requirements on Modelling Techniques |
BTW
2007
Springer
14 years 4 months ago
2007
Springer
: In many application areas like e-science and data-warehousing detailed information about the origin of data is required. This kind of information is often referred to as data pro...
CONCURRENCY
2007
13 years 10 months ago
2007
Abstract. The memory hierarchy plays an essential role in the performance of current computers, thus good analysis tools that help predict and understand its behavior are required....
SIGADA
1999
Springer
14 years 2 months ago
1999
Springer
Representing interdependencies between the objects of an object-oriented software application requires designtime mechanisms for specifying object interrelationships, as well as s...
SIGSOFT
2010
ACM
13 years 8 months ago
2010
ACM
We present a novel technique for synthesising behaviour models that works for an expressive subset of liveness properties and conforms to the foundational requirements engineering...
NFM
2011
13 years 5 months ago
2011
A main idea underlying bounded model checking is to limit the length of the potential counter-examples, and then prove properties for the bounded version of the problem. In softwar...