3432 search results - page 153 / 687 » Language as a Complex Adaptive System |
155
Voted
ESAW
2007
Springer
15 years 9 months ago
2007
Springer
In the field of multiagent systems (MAS), the computational models of trust and reputation have attracted increasing interest since electronic and open environments became a reali...
125
click to vote
LICS
1989
IEEE
15 years 7 months ago
1989
IEEE
We describe Elf, a metalanguage for proof manipulation environments that are independent of any particular logical system. Elf is intended for meta-programs such as theorem prover...
160
Voted
IIWAS
2008
15 years 5 months ago
2008
The rapid growth of mobile Internet use requires highly flexible and adaptable user interfaces for web applications. Contextual data from various sources as for example device HMI...
127
Voted
MHCI
2009
Springer
15 years 10 months ago
2009
Springer
Mobile devices became powerful recently and wireless Internet access is becoming standard. One important class of networked, mobile applications are location based games, making e...
155
Voted
IACR
2011
14 years 3 months ago
2011
A zero-knowledge protocol allows a prover to convince a verifier of the correctness of a statement without disclosing any other information to the verifier. It is a basic tool a...