3792 search results - page 190 / 759 » Techniques for Trusted Software Engineering |
135
click to vote
ICESS
2004
Springer
15 years 9 months ago
2004
Springer
In this paper we present a new modeling technique using software engineering tool Flow Model for modeling and solving the Dynamic Power Management (DPM) with complex behavioral cha...
139
click to vote
APSEC
1998
IEEE
15 years 8 months ago
1998
IEEE
We present a calculus which can transfer specifications to objects for the development of real-time systems. The object model is based on a practical OO development technique--HRT...
112
click to vote
UIST
1997
ACM
15 years 8 months ago
1997
ACM
This paper introduces TimeSlider, a user interface technique that allows the user to specify time points. TimeSlider is a kind of slider whose time scale is nonlinear and which mo...
152
click to vote
PLDI
2012
ACM
13 years 6 months ago
2012
ACM
Software-based fault isolation (SFI), as used in Google’s Native Client (NaCl), relies upon a conceptually simple machine-code analysis to enforce a security policy. But for com...
165
click to vote
CG
2007
Springer
15 years 4 months ago
2007
Springer
In this article we describe an ongoing effort to integrate information visualization techniques into the process of configuration management for software systems. Our focus is to...