17129 search results - page 466 / 3426 » Applied Computing |
118
click to vote
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
The rapid deployment of low-cost ubiquitous sensing devices
166
click to vote
CIE
2006
Springer
15 years 10 months ago
2006
Springer
traction for an Object-Oriented Calculus with Thread Classes Erika
138
click to vote
CIE
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We see a notion of normal derivation for the calculus of structures, which is based on a factorisation of derivations and which is more general than the traditional notio...
145
click to vote
CIE
2006
Springer
15 years 10 months ago
2006
Springer
We introduce two hierarchies of unknown ordinal height. The hierarchies are induced by natural fragments of a calculus based on finite types and G