498 search results - page 71 / 100 » Model Validation using Automatically Generated Requirements-... |
CORR
2008
Springer
13 years 8 months ago
2008
Springer
rexample Guided Abstraction-Refinement Framework for Markov Decision Processes ROHIT CHADHA and MAHESH VISWANATHAN Dept. of Computer Science, University of Illinois at Urbana-Champ...
HICSS
2003
IEEE
14 years 1 months ago
2003
IEEE
Our Distributed Telecommunication Management System (DTMS) uses an object-oriented model to describe the networked Voice Communication System (VCS) to be managed. In order to allo...
CVPR
2009
IEEE
13 years 12 months ago
2009
IEEE
Segmentation of document images remains a challenging vision problem. Although document images have a structured layout, capturing enough of it for segmentation can be difficult....
ICCAD
2003
IEEE
14 years 5 months ago
2003
IEEE
Detailed electromagnetic analysis of three-dimensional structures in multilayered dielectric media is critical for automatic generation of equivalent circuit models for the interc...
ICSE
2007
IEEE-ACM
14 years 8 months ago
2007
IEEE-ACM
Designing complex multi-tier applications that must meet strict performance requirements is a challenging software engineering problem. Ideally, the application architect could de...