3792 search results - page 437 / 759 » Techniques for Trusted Software Engineering |
196
click to vote
KBSE
2005
IEEE
16 years 11 days ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...
168
click to vote
IWPC
2003
IEEE
16 years 2 days ago
2003
IEEE
Many applications have one or more important modules that are written in a language other than conventional procedural or object oriented languages. These languages are often tran...
151
click to vote
UIST
2000
ACM
15 years 11 months ago
2000
ACM
We propose a navigation technique for browsing large documents that integrates rate-based scrolling with automatic zooming. The view automatically zooms out when the user scrolls ...
217
click to vote
CODES
1996
IEEE
15 years 11 months ago
1996
IEEE
Performance modeling and evaluation of embedded hardware/software systems is important to help the CoDesign process. The hardware/software partitioning needs to be evaluated befor...
184
click to vote
UIST
1992
ACM
15 years 11 months ago
1992
ACM
It is often difficult in computer graphics applications to understand spatial relationships betweenobjects in a 3D sceneor effect changes to those objects without specialized visu...