1415 search results - page 119 / 283 » Verified systems by composition from verified components |
161
click to vote
GPEM
2006
15 years 6 months ago
2006
Abstract. Bedau et al.'s statistical classification system for long-term evolutionary dynamics provides a test for open-ended evolution. Making this test more rigorous, and pa...
206
click to vote
CBSE
2011
Springer
14 years 6 months ago
2011
Springer
Automating the construction of secure distributed systems becomes necessary. Indeed, developing security code requires a deep expertise and verifying that the developed code respe...
175
click to vote
FMOODS
2003
15 years 7 months ago
2003
Performance analysis of computing systems, in particular distributed computing systems, is a complex process. Analysing the complex flows and interactions between a set of distribu...
161
click to vote
DATESO
2010
15 years 4 months ago
2010
Abstract. The today's applications usually form a system of sub-applications, each being responsible for a particular functionality. Hence, the design and maintenance of such ...
175
click to vote
TRUST
2009
Springer
16 years 1 months ago
2009
Springer
UCON is a highly flexible and expressive usage control model which allows an object owner to specify detailed usage control policies to be evaluated on a remote platform. Assuranc...