3792 search results - page 492 / 759 » Techniques for Trusted Software Engineering |
179
click to vote
LCTRTS
2005
Springer
16 years 6 days ago
2005
Springer
The limited built-in configurability of Linux can lead to expensive code size overhead when it is used in the embedded market. To overcome this problem, we propose the applicatio...
166
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
The emerging Service-Oriented Computing (SOC) paradigm promises to enable businesses and organizations to collaborate in an unprecedented way by means of standard web services. To...
314
click to vote
ICFP
2009
ACM
16 years 7 months ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...
207
click to vote
SECON
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract—While mechanisms exist to instantiate common security functionality such as confidentiality and integrity, little has been done to define a mechanism for identificati...
187
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
Fast real-time feasibility tests and analysis algorithms are necessary for a high acceptance of the formal techniques by industrial software engineers. This paper presents a possi...