8701 search results - page 1302 / 1741 » XML-Based Feature Modelling |
167
click to vote
IEEESP
2008
15 years 6 months ago
2008
Today, critical infrastructures like the power grid are essentially physical processes controlled by computers connected by networks. They are usually as vulnerable as any other i...
153
Voted
CAD
2006
Springer
15 years 6 months ago
2006
Springer
This paper describes an approach to interoperability in design projects that is based on computational agents customizing the representation of product data to individual design to...
163
Voted
ENTCS
2006
15 years 6 months ago
2006
The application of formal methods to analog and mixed signal circuits requires efficient methods tructing abstractions of circuit behaviors. This paper concerns the verification o...
152
Voted
EOR
2006
15 years 6 months ago
2006
We propose the use of scatter search with path relinking for the inference of phylogenetic trees. Solutions are here represented as trees whose leaves span the set of species unde...
146
click to vote
ESWA
2006
15 years 6 months ago
2006
We discuss the challenges in developing decision support tools for commercial underwriting and describe how several different approaches to the underwriting problem have been addr...