Sciweavers

15888 search results - page 2815 / 3178
» Supporting human-intensive systems
Sort
View
ACMIDC
2010
15 years 8 months ago
Mobile collaboration: collaboratively reading and creating children's stories on mobile devices
This paper discusses design iterations of Mobile Stories – a mobile technology that empowers children to collaboratively read and create stories. We present the design and discu...
Jerry Alan Fails, Allison Druin, Mona Leigh Guha
CSFW
2010
IEEE
15 years 8 months ago
A Machine-Checked Formalization of Sigma-Protocols
—Zero-knowledge proofs have a vast applicability in the domain of cryptography, stemming from the fact that they can be used to force potentially malicious parties to abide by th...
Gilles Barthe, Daniel Hedin, Santiago Zanella B&ea...
ICCBR
2010
Springer
15 years 8 months ago
Goal-Driven Autonomy with Case-Based Reasoning
The vast majority of research on AI planning has focused on automated plan recognition, in which a planning agent is provided with a set of inputs that include an initial goal (or ...
Héctor Muñoz-Avila, Ulit Jaidee, Dav...
CNSR
2009
IEEE
164views Communications» more  CNSR 2009»
15 years 8 months ago
DibA: An Adaptive Broadcasting Scheme in Mobile Ad Hoc Networks
Broadcasting is a vital communication mechanism in Mobile Ad Hoc Networks, as it is the key element for exchanging control packets to support some services such as management and ...
Dimitrios Liarokapis, Alireza Shahrabi, Andreas Ko...
ERLANG
2007
ACM
15 years 8 months ago
Extended process registry for Erlang
The built-in process registry has proven to be an extremely useful feature of the Erlang language. It makes it easy to provide named services, which can be reached without knowing...
Ulf Wiger
« Prev « First page 2815 / 3178 Last » Next »