1107 search results - page 86 / 222 » Variability Management on Behavioral Models |
106
click to vote
ADVIS
2000
Springer
15 years 5 months ago
2000
Springer
Modern applications demand support for a large number of clients and require large scale storage subsystems. This paper presents a theoretical model of prefetching and caching of s...
ISPW
2007
IEEE
15 years 7 months ago
2007
IEEE
There is large uncertainty with the software cost in the early stages of software development due to requirement volatility, incomplete understanding of product domain, reuse oppor...
126
click to vote
JDCTA
2010
14 years 8 months ago
2010
For the study of traffic flow, a number of factors for traffic flow is difficult to accurate description variables with specific parameters, but in similar circumstances, traffic ...
153
click to vote
VLDB
2002
ACM
15 years 1 months ago
2002
ACM
Complex database queries require the use of memory-intensive operators like sort and hashjoin. Those operators need memory, also referred to as SQL memory, to process their input ...
117
click to vote
FASE
2009
Springer
15 years 5 months ago
2009
Springer
Model checking tools based on the iterative refinement of predicate abstraction (e.g., Slam and Blast) often feature a specification language for expressing complex behavior rules....