77016 search results - page 636 / 15404 » Modelling |
308
click to vote
CRYPTO
2004
Springer
16 years 19 days ago
2004
Springer
In the bare public-key model (BPK in short), each verifier is assumed to have deposited a public key in a file that is accessible by all users at all times. In this model, intro...
191
click to vote
ECAI
2004
Springer
16 years 19 days ago
2004
Springer
This paper presents a new model of agency, called the KGP (Knowledge, Goals and Plan) model. This draws from the classic BDI model and proposes a hierarchical agent architecture wi...
208
click to vote
IPSN
2004
Springer
16 years 18 days ago
2004
Springer
This paper describes a modeling and simulation framework called VisualSense for wireless sensor networks that builds on and leverages Ptolemy II. This framework supports actor-ori...
213
click to vote
ISAS
2004
Springer
16 years 18 days ago
2004
Springer
Analytical and simulative modeling for dependability and performance evaluation has been proven to be a useful and versatile approach in all the phases of the system life cycle. I...
172
click to vote
ITS
2004
Springer
16 years 18 days ago
2004
Springer
This work presents a model for student knowledge diagnosis that can be used in ITSs for student model update. The diagnosis is accomplished through Computerized Adaptive Testing (C...