20175 search results - page 89 / 4035 » Is abstraction the key to computing |
80
Voted
CIS
2005
Springer
15 years 6 months ago
2005
Springer
110
Voted
FOSSACS
2004
Springer
15 years 6 months ago
2004
Springer
We introduce a game model for an Algol-like programming language with primitives for parallel composition and synchronization on semaphores. The semantics is based on a simplifie...
105
Voted
ICDT
2007
ACM
15 years 4 months ago
2007
ACM
Abstract. We review key constraints in the context of XML as introduced by Buneman et al. We show that one of the proposed inference rules is not sound in general, and the axiomati...
AMC
2005
15 years 17 days ago
2005
Abstract. Key authentication is very important in secret communications and data security. Recently, Lee, Hwang and Li proposed a new public key authentication scheme for cryptosys...
112
Voted
MOBICOM
2004
ACM
15 years 6 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...