662 search results - page 126 / 133 » Model Checking Procedures for Infinite State Systems |
TSE
1998
14 years 9 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...
SIGMETRICS
2009
ACM
15 years 3 months ago
2009
ACM
Disseminating a piece of information, or updates for a piece of information, has been shown to benefit greatly from simple randomized procedures, sometimes referred to as gossipi...
CVPR
2012
IEEE
12 years 11 months ago
2012
IEEE
We propose a novel mode of feedback for image search, where a user describes which properties of exemplar images should be adjusted in order to more closely match his/her mental m...
CC
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. This paper presents four extensions to the Interprocedural Finite Distributive Subset (IFDS) algorithm that make it applicable to a wider class of analysis problems. IFDS...
AUTOMOTIVEUI
2009
ACM
15 years 3 months ago
2009
ACM
Intuitive use is met when prior knowledge is transferred to new task environments. The empirical fact that transfer relies on schemas led us to diagnose intuitiveness based on sch...