9210 search results - page 1498 / 1842 » Analyzing Real-Time Systems |
127
click to vote
APSEC
2008
IEEE
15 years 11 months ago
2008
IEEE
Design and development scalability, in any engineering, requires information hiding and a specific composition mechanism in which composite items are made-up of other items. This ...
215
Voted
CCGRID
2008
IEEE
15 years 11 months ago
2008
IEEE
To be competitive, Enterprises are collecting and analyzing increasingly large amount of data in order to derive business insights. However, there are at least two challenges to m...
137
Voted
CCGRID
2008
IEEE
15 years 11 months ago
2008
IEEE
Virtualization using Xen-based virtual machine environment has yet to permeate the field of high performance computing (HPC). One major requirement for HPC is the availability of ...
117
click to vote
CLUSTER
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract—Message progression schemes that enable communication and computation to be overlapped have the potential to improve the performance of parallel applications. With curre...
138
click to vote
COMPSAC
2008
IEEE
15 years 11 months ago
2008
IEEE
This work introduces probabilistic model checking as a viable tool-assisted approach for systematically quantifying DoS security threats. The proposed analysis is based on a proba...