8009 search results - page 64 / 1602 » cans 2005 |
129
click to vote
ICCSA
2005
Springer
15 years 9 months ago
2005
Springer
In resent years, Popescu proposed several group signature schemes based on the Okamoto-Shiraishi assumption in [8–11], and claimed his schemes are secure. However, this paper dem...
121
click to vote
IEAAIE
2005
Springer
15 years 9 months ago
2005
Springer
A specification language for performance indicators and their relations and requirements is presented and illustrated for a case study in logistics. The language can be used in dif...
112
click to vote
IFL
2005
Springer
15 years 9 months ago
2005
Springer
Abstract Starting with an evaluator for a language, an abstract machine for the same language can be mechanically derived using successive program transformations. This has relevan...
124
click to vote
IWINAC
2005
Springer
15 years 9 months ago
2005
Springer
This paper shows how empirical human reasoning traces can be formalised and automatically analysed against dynamic properties they fulfil. To this end, for the reasoning pattern c...
118
click to vote
JSAI
2005
Springer
15 years 9 months ago
2005
Springer
Recent development of capture and archival technology for experiences can serve to extend our memory and knowledge and enrich our collaboration with others. Conversation is an impo...