129 search results - page 1 / 26 » Making trace monitors feasible |
OOPSLA
2007
Springer
14 years 5 months ago
2007
Springer
SEFM
2008
IEEE
14 years 5 months ago
2008
IEEE
The only practical way to test distributed messagepassing systems is to use local testing. In this approach, used in formalisms such as concurrent TTCN-3, some components are repl...
IMC
2010
ACM
13 years 8 months ago
2010
ACM
Dynamic spectrum access networks are designed to allow today's bandwidth hungry "secondary devices" to share spectrum allocated to legacy devices, or "primary ...
ACSAC
2005
IEEE
14 years 4 months ago
2005
IEEE
Logging and auditing is an important system facility for monitoring correct system operation and for detecting potential security problems. We present an architecture for implemen...
DATE
2003
IEEE
14 years 4 months ago
2003
IEEE
System design methodology is poised to become the next big enabler for highly sophisticated electronic products. Design verification continues to be a major challenge and simulat...