10997 search results - page 1809 / 2200 » On the Structure of Complete Sets |
149
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— In this paper we propose a testing based method for safety/ reachability analysis of stochastic hybrid systems. Testing based methods are characterized by analysis based on the...
141
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— Systems biologists are often faced with competing models for a given experimental system. Unfortunately, performing experiments can be time-consuming and expensive. Therefore, ...
165
click to vote
CEC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—While scalarization approaches to multicriteria optimization become infeasible in the case of many objectives, for few objectives the benefits of populationbased method...
182
click to vote
CODES
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents a system synthesis approach for dependable embedded systems. The proposed approach significantly extends previous work by automatically inserting fault detect...
168
click to vote
EDOC
2008
IEEE
16 years 1 months ago
2008
IEEE
Many industries have been developing e-business standards to improve business-to-business interoperability on a mass scale. Most such standards are composed of business data model...