2935 search results - page 377 / 587 » An Integrated Approach to High Integrity Software Verificati... |
188
click to vote
EUROPAR
2009
Springer
15 years 11 months ago
2009
Springer
Data access in HPC infrastructures is realized via user-level networking and OS-bypass techniques through which nodes can communicate with high bandwidth and low-latency. Virtualiz...
167
click to vote
AUSDM
2006
Springer
15 years 10 months ago
2006
Springer
The importance of predicting Web users' behaviour and their next movement has been recognised and discussed by many researchers lately. Association rules and Markov models ar...
187
click to vote
WSC
2008
15 years 8 months ago
2008
The global health, threatened by emerging infectious diseases, pandemic influenza, and biological warfare, is becoming increasingly dependent on the rapid acquisition, processing,...
171
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
The migration from desktop applications to Web-based services is scattering personal data across a myriad of Web sites, such as Google, Flickr, YouTube, and Amazon S3. This disper...
154
click to vote
UIST
2005
ACM
15 years 12 months ago
2005
ACM
Informal prototyping tools have shown great potential in facilitating the early stage design of user interfaces. However, continuous interactions, an important constituent of high...