134 search results - page 16 / 27 » ProtEx: a toolkit for the analysis of distributed real-time ... |
DATE
2008
IEEE
14 years 1 months ago
2008
IEEE
We propose the notion of logical reliability for real-time program tasks that interact through periodically updated program variables. We describe a reliability analysis that chec...
EPIA
2005
Springer
14 years 26 days ago
2005
Springer
Space applications’ users have been relying for the past decades on custom developed software tools capable of addressing short term necessities during critical Spacecraft contro...
SAC
2003
ACM
14 years 17 days ago
2003
ACM
We present a distributed framework that enables real-time streaming and visualization of data generated by large remote simulations. We address issues arising from distributed cli...
EDOC
2003
IEEE
14 years 18 days ago
2003
IEEE
As the desire for business intelligence capabilities for e-business processes expands, existing workflow management systems and decision support systems are not able to provide co...
RTAS
2009
IEEE
14 years 2 months ago
2009
IEEE
In recent years, there has been an increase in video surveillance systems in public and private environments due to a heightened sense of security. The next generation of surveill...