284 search results - page 24 / 57 » di 2006 |
EV
2006
13 years 9 months ago
2006
This paper draws attention to the need of a systematic approach to introducing electronic voting systems and presents empirical results from a pilot project by the Provincia Autono...
CSL
2006
Springer
13 years 11 months ago
2006
Springer
We introduce a new class of multiplicative proof nets, J-proof nets, which are a typed version of Faggian and Maurel's multiplicative L-nets. In J-proof nets, we can character...
DATE
2006
IEEE
14 years 1 months ago
2006
IEEE
Static Linked Faults are considered an interesting class of memory faults. Their capability of influencing the behavior of other faults causes the hiding of the fault effect and m...
ACMICEC
2006
ACM
2006
ACM
A semantic-based fully visual application for matchmaking and query refinement in B2C e-marketplaces
13 years 11 months ago
This paper presents a visual application in the framework of semantic-enabled e-marketplaces aimed at fully exploiting semantics of supply/demand descriptions in B2C and C2C e-mar...
APPML
2007
13 years 7 months ago
2007
The note is concerned with a time-delayed reaction–diffusion equation with nonlocality for the population dynamics of single species. For the critical speed of traveling waves, ...