1515 search results - page 195 / 303 » The Distributed Programming Environment on the Internet |
117
click to vote
PPDP
2001
Springer
15 years 7 months ago
2001
Springer
We introduce a new system of trust analysis for concurrent and distributed systems using the π-calculus[13, 14, 15] as a modelling tool. A Type system using boolean annotations g...
116
click to vote
IJRR
2006
15 years 2 months ago
2006
We describe the design and experimental validation of a large heterogeneous mobile robot team built for the DARPA Software for Distributed Robotics (SDR) program. The core challen...
113
Voted
ICALT
2003
IEEE
15 years 7 months ago
2003
IEEE
Although the technical skills of pupils are quite high, the current approach to gain media literacy still focusses on updating software applying skills, rather than exploring the ...
131
Voted
DIMVA
2011
14 years 6 months ago
2011
Abstract. With the widespread adoption of Internet advertising, fraud has become a systemic problem. While the existence of clickbots—malware specialized for conducting click-fra...
143
Voted
HPDC
2010
IEEE
15 years 3 months ago
2010
IEEE
Large scale bioinformatics experiments are usually composed by a set of data flows generated by a chain of activities (programs or services) that may be modeled as scientific work...