7766 search results - page 1329 / 1554 » Testing Nondeterminate Systems |
CIKM
2008
Springer
14 years 23 days ago
2008
Springer
The monumental cost of health care, especially for chronic disease treatment, is quickly becoming unmanageable. This crisis has motivated the drive towards preventative medicine, ...
ACMSE
2005
ACM
14 years 23 days ago
2005
ACM
Many networking researches depend on an accurate simulation of network traffic. For example, Intrusion Detection Systems generally require tuning to be effective in each new envir...
APN
2005
Springer
14 years 23 days ago
2005
Springer
Abstract. We establish mutual translations between the classes of 1safe timed-arc Petri nets (and its extension with testing arcs) and networks of timed automata (and its subclass ...
ASPDAC
2005
ACM
14 years 23 days ago
2005
ACM
Ever scaling process technology makes embedded systems more vulnerable to soft errors than in the past. One of the generic methods used to fight soft errors is based on duplicati...
ATAL
2006
Springer
14 years 23 days ago
2006
Springer
In concurrent cooperative multiagent learning, each agent simultaneously learns to improve the overall performance of the team, with no direct control over the actions chosen by i...