1415 search results - page 234 / 283 » Verified systems by composition from verified components |
IEEECIT
2005
IEEE
14 years 1 months ago
2005
IEEE
In embedded systems, performance and power are important inter-related issues that cannot be decoupled. Expensive and extensive simulations in a processor design space are usually...
NDSS
2005
IEEE
14 years 1 months ago
2005
IEEE
The Border Gateway Protocol (BGP) is an IETF standard inter-domain routing protocol on the Internet. However, it is well known that BGP is vulnerable to a variety of attacks, and ...
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
General trust management model that we present is adapted for ad-hoc coalition environment, rather than for classic client-supplier relationship. The trust representation used in ...
BPM
2005
Springer
14 years 1 months ago
2005
Springer
This article describes the method of Mobile Process Landscaping by example of a project in which the service processes of a company from the housing industry were analyzed regardin...
IFM
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...