Sciweavers

2847 search results - page 411 / 570
» The Context-Dependent Role Model
Sort
View
150
Voted
ACRI
2004
Springer
15 years 9 months ago
Learning What to Eat: Studying Inter-relations Between Learning, Grouping, and Environmental Conditions in an Artificial World
Abstract. In this paper we develop an artificial world model to investigate how environmental conditions affect opportunities for learning. We model grouping entities that learn wh...
Daniel J. van der Post, Paulien Hogeweg
ASIACRYPT
2006
Springer
15 years 9 months ago
Simulation-Sound NIZK Proofs for a Practical Language and Constant Size Group Signatures
Non-interactive zero-knowledge proofs play an essential role in many cryptographic protocols. We suggest several NIZK proof systems based on prime order groups with a bilinear map...
Jens Groth
COOPIS
2004
IEEE
15 years 9 months ago
Performance Evaluation of JXTA Rendezvous
Project JXTA is the first peer-to-peer application development infrastructure, consisting of standard protocols and multi-language implementations. A JXTA peer network is a comple...
Emir Halepovic, Ralph Deters, Bernard Traversat
CSMR
2004
IEEE
15 years 9 months ago
A Distributed Architecture for Dynamic Analyses on User-Profile Data
Combining static and dynamic information is highly relevant in many reverse engineering, program comprehension and maintenance task. Dynamic analysis is particularly effective whe...
Giuliano Antoniol, Massimiliano Di Penta
DATE
2004
IEEE
97views Hardware» more  DATE 2004»
15 years 9 months ago
A Formal Verification Methodology for Checking Data Integrity
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...
Yasushi Umezawa, Takeshi Shimizu