2935 search results - page 324 / 587 » An Integrated Approach to High Integrity Software Verificati... |
186
click to vote
APSEC
2002
IEEE
15 years 11 months ago
2002
IEEE
One of the major problems in building large-scale distributed systems is to anticipate the performance of the eventual solution before it has been built. This problem is especiall...
194
click to vote
MOBILITY
2009
ACM
15 years 11 months ago
2009
ACM
The convergence of desktop, mobile and web application development has resulted in new types of software systems. These new systems are built to leverage the World Wide Web, and t...
190
click to vote
UML
2000
Springer
15 years 10 months ago
2000
Springer
Software testing can only be formalized and quanti ed when a solid basis for test generation can be de ned. Tests are commonly generated from program source code, graphical models ...
164
click to vote
WWW
2001
ACM
16 years 7 months ago
2001
ACM
Active learning is an e ective learning approach. In this paper, we present an intelligent agent assisted environment for active learning. The system is to better support studentc...
169
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
The use of Support Vector Machines (SVMs) to represent the performance space of analog circuits is explored. In abstract terms, an analog circuit maps a set of input design parame...