4460 search results - page 448 / 892 » Formal methods for interactive systems |
174
click to vote
SIGMOD
2001
ACM
16 years 7 months ago
2001
ACM
Over the last decades, improvements in CPU speed have outpaced improvements in main memory and disk access rates by orders of magnitude, enabling the use of data compression techn...
180
click to vote
TSE
1998
15 years 6 months ago
1998
—It is well known that requirements engineering plays a critical role in software quality. The use case approach is a requirements elicitation technique commonly used in industri...
168
click to vote
ECOOP
2005
Springer
16 years 11 days ago
2005
Springer
Advice is a mechanism used by advanced object-oriented and aspect-oriented programming languages to augment the behavior of methods in a program. Advice can help to make programs m...
176
click to vote
MODELS
2007
Springer
16 years 29 days ago
2007
Springer
The rising adoption and incorporation of computers into everyday life requires human-computer interaction methods to be efficient and easy to understand. Simultaneously, complexit...
209
click to vote
GECCO
2008
Springer
15 years 8 months ago
2008
Springer
Pair approximations have often been used to predict equilibrium conditions in spatially-explicit epidemiological and ecological systems. In this work, we investigate whether this ...