1601 search results - page 118 / 321 » The affordable application of formal methods to software eng... |
UIST
1997
ACM
14 years 1 months ago
1997
ACM
We report results from a formal user study of interactive 3D rotation using the mouse-driven Virtual Sphere and Arcball techniques, as well as multidimensional input techniques ba...
FATES
2006
Springer
14 years 26 days ago
2006
Springer
Abstract. More and more software systems use a browser as the universal graphical user interface. As a consequence these applications inherit browser navigation as part of their in...
ISESE
2006
IEEE
14 years 3 months ago
2006
IEEE
Effective testing of safety-critical real-time embedded software is difficult and expensive. Many companies are hesitant about the cost of formalized criteria-based testing and a...
PDP
2007
IEEE
14 years 3 months ago
2007
IEEE
Scientific and engineering programming has been around since the beginning of computing, often being the driving force for new system development and innovation. At the same time...
ICMCS
2005
IEEE
14 years 2 months ago
2005
IEEE
Due to the enormous increase in the stored digital contents, search and retrieval functionalities are necessary in multimedia systems. Though processor speed for standard PCs (Per...