4516 search results - page 409 / 904 » Automated System Design for Availability |
162
click to vote
FROCOS
2007
Springer
16 years 1 months ago
2007
Springer
Constraint solvers are key modules in many systems with reasoning capabilities (e.g., automated theorem provers). To incorporate constraint solvers in such systems, the capability ...
190
click to vote
DIAL
2006
IEEE
16 years 27 days ago
2006
IEEE
The availability of large, heterogeneous repositories of electronic documents is increasing rapidly, and the need for flexible, sophisticated document manipulation tools is growi...
180
click to vote
ETFA
2006
IEEE
16 years 27 days ago
2006
IEEE
The more the information technologies begin to be incorporated into the industrial productive fabric, the more complex it becomes to organise them. It is vital to implant proactiv...
188
click to vote
ECSQARU
2005
Springer
16 years 11 days ago
2005
Springer
The most problematic and challenging issues in fuzzy modeling of nonlinear system dynamics deal with robustness and interpretability. Traditional data-driven approaches, especially...
183
click to vote
HPDC
2002
IEEE
15 years 11 months ago
2002
IEEE
With the advent of computational grids, networking performance over the wide-area network (WAN) has become a critical component in the grid infrastructure. Unfortunately, many hig...