3424 search results - page 142 / 685 » Automated Testing of Classes |
185
click to vote
IFIP
2007
Springer
16 years 16 days ago
2007
Springer
Process control systems (PCSs) are instrumental to the safe, reliable and efficient operation of many critical infrastructure components. However, PCSs increasingly employ commodit...
169
click to vote
NSPW
2006
ACM
16 years 10 days ago
2006
ACM
In considering new security paradigms, it is often worthwhile to anticipate the direction and nature of future attack paradigms. We identify a class of attacks based on the idea o...
146
click to vote
TIME
2005
IEEE
15 years 12 months ago
2005
IEEE
Abstract— We present a specification language and algorithms for the online and offline monitoring of synchronous systems including circuits and embedded systems. Such monitori...
142
click to vote
SAC
2004
ACM
15 years 11 months ago
2004
ACM
There is still no standardization of software measures and metrics extraction tools have to be updated frequently to handle the changes. A possible solution is represented by usin...
155
click to vote
SIGCSE
2004
ACM
15 years 11 months ago
2004
ACM
This paper presents an innovative multiagent system to support cooperative learning among students both in the real classrooms and in distance education. The system, called I-MIND...