1268 search results - page 197 / 254 » One Logic to Use Them All |
156
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
We propose the study of visibly pushdown automata (Vpa) for processing XML documents. Vpas are pushdown automata where the input determines the stack operation, and XML documents ...
174
click to vote
MOBICOM
2004
ACM
15 years 11 months ago
2004
ACM
We present MobiDesk, a mobile virtual desktop computing hosting infrastructure that leverages continued improvements in network speed, cost, and ubiquity to address the complexity...
178
click to vote
BIRTHDAY
2003
Springer
15 years 11 months ago
2003
Springer
One of the central axioms of extreme programming is the disciplined use of regression testing during stepwise software development. Due to recent progress in software model checkin...
141
click to vote
ATAL
1995
Springer
15 years 10 months ago
1995
Springer
In this paper we present a formalisation of motivational attitudes, the attitudes that are the driving forces behind the actions of agents. We consider the statics of these attitu...
167
click to vote
CEE
2007
15 years 6 months ago
2007
It is a challenge to implement large word length public-key algorithms on embedded systems. Examples are smartcards, RF-ID tags and mobile terminals. This paper presents a HW/SW c...