583 search results - page 87 / 117 » Cognitive development and qualitative modelling |
136
click to vote
JSAC
2007
15 years 4 months ago
2007
Abstract— We consider path-based survivable service provisioning in transparent optical networks with the constraints of wavelength continuity and a limited number of add/drop po...
121
click to vote
HYBRID
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Testing is an important tool for validation of the system design and its implementation. Model-based test generation allows to systematically ascertain whether the system...
127
click to vote
ISPD
1999
ACM
15 years 8 months ago
1999
ACM
The presence of fixed terminals in hypergraph partitioning instances arising in top-down standard-cell placement makes such instances qualitatively different from the free hyperg...
124
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: Metabolic networks present a complex interconnected structure, whose understanding is in general a non-trivial task. Several formal approaches have been developed to s...
167
click to vote
ECBS
1999
IEEE
15 years 8 months ago
1999
IEEE
Engineering systems are becoming increasingly complex as state of the art technologies are incorporated into designs. Surety modeling and analysis is an emerging science which per...