3742 search results - page 246 / 749 » On the Use of Formal Techniques for Validation |
148
click to vote
CHI
2006
ACM
16 years 7 months ago
2006
ACM
We present Hover Widgets, a new technique for increasing the capabilities of pen-based interfaces. Hover Widgets are implemented by using the pen movements above the display surfa...
168
click to vote
APSEC
2005
IEEE
16 years 6 days ago
2005
IEEE
A test oracle is a mechanism that is used during testing to determine whether a software component behaves correctly or not. The test oracle problem is widely acknowledged in the ...
183
click to vote
ASYNC
2005
IEEE
16 years 6 days ago
2005
IEEE
We propose a novel technique for modeling and verifying timed circuits based on the notion of generalized relative timing. Generalized relative timing constraints can express not ...
145
click to vote
GECCO
2004
Springer
15 years 12 months ago
2004
Springer
Software design techniques emphasize the use of abstractions to help developers deal with the complexity of constructing large and complex systems. These abstractions can also be u...
156
click to vote
SERP
2003
15 years 8 months ago
2003
System reliability has become an increasingly important benchmark in measuring service continuity. As part of many service level agreements, system performance is gauged by how lo...