8022 search results - page 1500 / 1605 » Predictability in Critical Systems |
249
click to vote
ATC
2006
Springer
15 years 9 months ago
2006
Springer
In recent years, a variety of new computing paradigms have been proposed for various purposes. It is true that many of them intend to and really can gratify some of the people some...
141
click to vote
CBSE
2006
Springer
15 years 9 months ago
2006
Springer
The possibilities currently offered to conduct business at an electronic level are immense. Service providers offer access to their attendances through components placed on the Int...
170
click to vote
CCGRID
2006
IEEE
15 years 9 months ago
2006
IEEE
Next-generation e-Science applications will require the ability to transfer information at high data rates between distributed computing centers and data repositories. A LambdaGri...
163
Voted
CEAS
2006
Springer
15 years 9 months ago
2006
Springer
One of the biggest challenges in building effective anti-spam solutions is designing systems to defend against the everevolving bag of tricks spammers use to defeat them. Because ...
172
click to vote
FM
2006
Springer
15 years 9 months ago
2006
Springer
Formal modeling is a crucial first step in the analysis of safety critical communication protocols such as IP Telephony. These protocols are notoriously resistant to formal modelin...