3792 search results - page 396 / 759 » Techniques for Trusted Software Engineering |
173
click to vote
VMCAI
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. The paper presents methods for model checking a class of possibly infinite state concurrent programs using various types of bi-simulation reductions. The proposed method...
156
click to vote
VSTTE
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Many well-established concepts of object-oriented programming work for individual objects, but do not support object structures. The development of a verifying compiler r...
168
click to vote
IUI
2004
ACM
16 years 7 days ago
2004
ACM
The paper deals with the design of an intelligent user interface augmenting the user experience in a museum domain, by providing and immersive audio environment. We focus on the i...
134
click to vote
PPPJ
2004
ACM
16 years 6 days ago
2004
ACM
To enable analysis and visualization of phased behavior in Java programs and to facilitate optimization development, we have implemented a freely-available, phase analysis framewo...
166
click to vote
CD
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. The secure deployment of components is widely recognized as a crucial problem in component-based software engineering. While major effort is concentrated on preventing ma...