8828 search results - page 311 / 1766 » Formal methods in practice |
164
click to vote
CHI
2006
ACM
16 years 7 months ago
2006
ACM
There is currently much interest in notions of experience-centered design in Human-Computer Interaction (HCI). A great deal of the research and practice in this area is at the bou...
164
click to vote
FBT
1997
15 years 8 months ago
1997
Abstract: In most cases, it is simple inconvenience of use that keeps formal methods from being put to industrial use. This paper argues that functionalities, even though of simple...
180
click to vote
SIGUCCS
2004
ACM
16 years 4 days ago
2004
ACM
This paper is a literature review on practical techniques and guidelines using PowerPoint, animation, and video effectively for instruction. The motivation to collect research bas...
166
click to vote
WSCG
2000
15 years 8 months ago
2000
The footwear industry's need for an automatic containment algorithm is becoming increasingly important within the manufacturing process. Irregular containers, such as hides, ...
146
click to vote
SAS
1993
Springer
15 years 10 months ago
1993
Springer
We give upper bounds on the number of times the fixed point operator needs to be unfolded for strictness analysis of functional languages with lists. This extends previous work b...