1286 search results - page 144 / 258 » A Practical Modelling Notation for Secure Distributed Comput... |
142
Voted
IMC
2006
ACM
15 years 6 months ago
2006
ACM
In this paper we present the first implementation of a P2P content distribution system that uses Network Coding. Using results from live trials with several hundred nodes, we pro...
103
click to vote
EDOC
2004
IEEE
15 years 4 months ago
2004
IEEE
To focus the comparison of languages for model checking and transformation on criteria that matter in practical development, there is an urgent need for more, and more realistic, ...
91
Voted
TSP
2010
14 years 7 months ago
2010
Developing computational models paves the way to understanding, predicting, and influencing the long-term behavior of genomic regulatory systems. However, several major challenges ...
124
click to vote
EWSA
2004
Springer
15 years 6 months ago
2004
Springer
Mobile software applications have to meet new requirements directly arising from mobility issues. To address these requirements at an early stage in development, an architecture d...
116
Voted
SKG
2006
IEEE
15 years 6 months ago
2006
IEEE
Meteorology Grid Computing aims to provide scientist with seamless, reliable, secure and inexpensive access to meteorological resources. In this paper, we presented a semantic-bas...