7380 search results - page 891 / 1476 » Engineering Software Intensive Systems |
150
click to vote
IUI
2000
ACM
15 years 11 months ago
2000
ACM
This paper describes a series of experiments with a range of users to evaluate an intelligent interface for acquiring problem-solving knowledge to describe how to accomplish a tas...
173
click to vote
AMAST
2000
Springer
15 years 11 months ago
2000
Springer
The primary objective of this paper is to present the deÿnition of a new dynamic, linear and modal logic for security protocols. The logic is compact, expressive and formal. It a...
162
click to vote
UIST
1999
ACM
15 years 11 months ago
1999
ACM
Nested User Interface Components combine the concepts of Zooming User Interfaces (ZUIs) with recursive nesting of active graphical user interface widgets. The resulting system of ...
240
Voted
ICSM
1999
IEEE
15 years 11 months ago
1999
IEEE
Test case prioritization techniques schedule test cases for execution in an order that attempts to maximize some objective function. A variety of objective functions are applicabl...
156
click to vote
CODES
1998
IEEE
15 years 11 months ago
1998
IEEE
Many applications include a variety off unctions from different domains. Therefore, they are best modeled with a combination of different modeling languages. For a sound design pr...