3 search results - page 1 / 1 » A. Software Environment for Custom Simulation and Monitoring... |
HASE
1997
IEEE
13 years 9 months ago
1997
IEEE
The testtng and valadatzon of formal speczficatzons of hzgh-assurance real-tzme systems repiizres a n ertenszble szniulatzon enrwonment wzth support for users to generate events, ...
JCP
2007
13 years 4 months ago
2007
—This paper describes an Internet-based laboratory, named Remote Monitored and Controlled Laboratory (RMCLab) developed at University of Patras, Greece, for electrical engineerin...
SIGMOD
2005
ACM
14 years 5 months ago
2005
ACM
Applications that require real-time processing of high-volume data steams are pushing the limits of traditional data processing infrastructures. These stream-based applications in...