32028 search results - page 114 / 6406 » Experimenting a |
119
click to vote
BIRTHDAY
2010
Springer
15 years 4 months ago
2010
Springer
Yuri Gurevich and Itay Neeman proposed the Distributed Knowledge Authorization Language, DKAL, as an expressive, yet very succinctly expressible logic for distributed authorization...
116
Voted
SIGCOMM
2010
ACM
15 years 3 months ago
2010
ACM
Sora is a fully programmable, high performance software radio platform based on commodity general-purpose PC. In this demonstration, we illustrate the main features of the Sora pl...
132
Voted
BMCBI
2007
15 years 3 months ago
2007
Background: With the explosion in data generated using microarray technology by different investigators working on similar experiments, it is of interest to combine results across...
142
Voted
IIE
2008
15 years 3 months ago
2008
Abstract. The paper examines the impact of ICT on students learning experiences and opportunities offered by virtual learning environment as an integral part of traditional learnin...
145
Voted
ENTCS
2006
15 years 3 months ago
2006
We report on an experiment in combining Isabelle with automatic first-order arithmetic provers to increase automation on the verification of distributed protocols. As a case study...