443 search results - page 67 / 89 » An Architecture for Context-Sensitive Formatting |
129
click to vote
CASSIS
2005
Springer
15 years 7 months ago
2005
Springer
This paper introduces notions of resource policy for mobile code to be run on smart devices, to integrate with the proof-carrying code architecture of the Mobile Resource Guarantee...
126
click to vote
EGC
2005
Springer
15 years 7 months ago
2005
Springer
Currently, access to Grid services is limited to resourceful devices such as desktop PCs but most mobile devices (with wireless network connections) cannot access the Grid network ...
139
click to vote
JIT
2005
Springer
15 years 7 months ago
2005
Springer
: Access to Grid services is currently limited to devices having significant computing, network resources etc. such as desktop computers. On the other hand, most of mobile devices ...
111
click to vote
MKM
2005
Springer
15 years 7 months ago
2005
Springer
Recently, significant advances have been made in formalised mathematical texts for large, demanding proofs. But although such large developments are possible, they still take an i...
MMSEC
2004
ACM
15 years 7 months ago
2004
ACM
This paper outlines a strategy to discriminate different ISO/ MPEG 1 Audio Layer-3 (MP3) encoding programs by statistical particularities of the compressed audio streams. We use ...