15401 search results - page 301 / 3081 » Software in Automotive Systems |
181
click to vote
ACSD
2001
IEEE
15 years 10 months ago
2001
IEEE
Synchronous languages allow a high level, concurrent, and deterministic description the behavior of reactive systems. Thus, they can be used advantageously for the programming of ...
159
click to vote
USS
2004
15 years 8 months ago
2004
Kennell and Jamieson [KJ03] recently introduced the Genuinity system for authenticating trusted software on a remote machine without using trusted hardware. Genuinity relies on ma...
153
click to vote
CASCON
2006
15 years 8 months ago
2006
Autonomic computing systems reduce software maintenance costs and management complexity by taking on the responsibility for their configuration, optimization, healing, and protect...
181
click to vote
FLAIRS
2000
15 years 8 months ago
2000
The paper presents a survey of the VSE system, a kind of CASE-tool for formal software development. It is a summary of a tutorial presentation describing methodology, formalisms, ...
212
click to vote
ECOOP
2004
Springer
15 years 10 months ago
2004
Springer
In this paper, we present a solution that allows systems to remain active while they are evolving. Our approach goes out from the principle of separated concerns and has two steps....