1415 search results - page 164 / 283 » Verified systems by composition from verified components |
170
click to vote
UPP
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Traditionally, autonomic computing is envisioned as replacing the human factor in the deployment, administration and maintenance of computer systems that are ever more co...
173
click to vote
COMPSAC
2008
IEEE
16 years 24 days ago
2008
IEEE
We discuss the suitability of service-oriented computing for the automotive domain. We present a formal high-level language in which complex automotive activities can be modelled ...
147
click to vote
DATE
2010
IEEE
15 years 8 months ago
2010
IEEE
An increasing concern amongst designers and integrators of military and defense-related systems is the underlying security of the individual microprocessor components that make up ...
183
click to vote
FORTE
2009
15 years 4 months ago
2009
We consider the following problem: For a system consisting of two components, the behavior of one component is known as well as the desired global behavior. What should be the beha...
175
click to vote
CGI
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper presents a new architecture of a database management system intended to be used together with existing graphics software. In the first place, a system with this archite...