6120 search results - page 836 / 1224 » The Power of Linear Functions |
176
Voted
CSL
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. Security properties are profitably expressed using notions of contextual equivalence, and logical relations are a powerful proof technique to establish contextual equiva...
152
Voted
ITS
2004
Springer
16 years 6 days ago
2004
Springer
How smart should we be in order to cope with the complex authoring process of smart courseware? Lately this question gains more attention with attempts to simplify the process and ...
180
Voted
LOPSTR
2004
Springer
16 years 6 days ago
2004
Springer
We address the problem of an efficient rewriting strategy for general term rewriting systems. Several strategies have been proposed over the last two decades for rewriting, the mos...
178
click to vote
MATA
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. Limited computational power imposes new challenges during the implementation of security and privacy solutions for mobile devices. The choice for the most appropriate cry...
181
Voted
MWCN
2004
Springer
16 years 6 days ago
2004
Springer
In Mobile Ad Hoc Networks (MANETs), each node has the capacity to act as a router. The performance of the MANET relies on how well the nodes perform this function. In simulations,...