3885 search results - page 130 / 777 » Clarifying Goal Models |
125
click to vote
CAV
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We describe an interpolant-based approach to test generation and model checking for sequential programs. The method generates Floyd/Hoare style annotations of the program...
157
click to vote
WSC
1997
15 years 5 months ago
1997
We describe a discrete-process simulation analysis of a production system at an automotive supply company. This simulation project was undertaken with the goals of demonstrating a...
155
click to vote
IVA
2010
Springer
15 years 2 months ago
2010
Springer
A significant goal in multi-modal virtual agent research is to determine how to vary expressive qualities of a character so that it is perceived in a desired way. The "Big Fiv...
125
click to vote
COLING
2010
14 years 11 months ago
2010
Our goal is to propose a description model for the lexicon. We describe a software framework for representing the lexicon and its variations called Proteus. Various examples show ...
145
click to vote
STOC
1997
ACM
15 years 8 months ago
1997
ACM
We consider the paging problem where the pages have varying size. This problem has applications to page replacement policies for caches containing World Wide Web documents. We con...