5084 search results - page 610 / 1017 » Proving Possibility Properties |
162
Voted
HPN
1998
15 years 8 months ago
1998
With the grown popularity of the Internet and the increasing use of business and multimedia applications the users' demand for higher and more predictable quality of service ...
193
Voted
FORTE
1997
15 years 8 months ago
1997
c Checking of Aggregation Abstractions Through State Enumeration Seungjoon Park, Member, IEEE, Satyaki Das, and David L. Dill, Member, IEEE —Aggregation abstraction is a way of d...
152
click to vote
WSC
1998
15 years 8 months ago
1998
Traditional methods of dealing with variability in simulation input data are mainly stochastic. This is most often the best method to use if the factors affecting the variation or...
204
click to vote
USAB
2007
15 years 8 months ago
2007
In this paper we argue that the formal analysis of an interactive medical system can improve their usability evaluation such that potential erroneous interactions are identified an...
172
click to vote
ATAL
2010
Springer
15 years 8 months ago
2010
Springer
Most previous logical accounts of goals do not deal with prioritized goals and goal dynamics properly. Many are restricted to achievement goals. In this paper, we develop a logica...