23004 search results - page 265 / 4601 » Evaluation of Adaptive Systems |
167
click to vote
ISMVL
2007
IEEE
16 years 1 months ago
2007
IEEE
Designing modern circuits comprised of millions of gates is a very challenging task. Therefore new directions are investigated for efficient modeling and verification of such syst...
138
Voted
DSN
2006
IEEE
16 years 23 days ago
2006
IEEE
As most computer systems are expected to remain operational 24 hours a day, 7 days a week, they must complete maintenance work while in operation. This work is in addition to the ...
169
click to vote
SIGSOFT
2003
ACM
15 years 12 months ago
2003
ACM
Model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less successful with software systems. It is especially di...
157
click to vote
GI
2003
Springer
15 years 12 months ago
2003
Springer
: Virtual duplex systems have emerged as an alternative to traditional duplex systems, trading structural for temporal redundancy. When used in dependable embedded systems, virtual...
190
click to vote
ACOM
2006
Springer
16 years 21 days ago
2006
Springer
Communication in multi-agent systems (MASs) is usually governed by agent communication languages (ACLs) and communication protocols carrying a clear cut semantics. With an increasi...