6109 search results - page 839 / 1222 » Ubiquitous Web Applications |
168
click to vote
CSCW
2006
ACM
16 years 25 days ago
2006
ACM
Several CSCW studies have shown that coordination of work in hospitals is particular challenging, and that clinicians put much effort into maintaining mutual awareness on the flo...
211
click to vote
MSWIM
2006
ACM
16 years 24 days ago
2006
ACM
As mobile devices, such as laptops, PDAs or mobile phones, are getting more and more ubiquitous and are able to communicate with each other via wireless technologies, the paradigm...
243
click to vote
ESOP
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. We instantiate an Isabelle/HOL framework for proof carrying code to Jinja bytecode, a downsized variant of Java bytecode featuring objects, inheritance, method calls and ...
217
click to vote
ASPLOS
2004
ACM
16 years 8 days ago
2004
ACM
Embedded software must meet conflicting requirements such as being highly reliable, running on resource-constrained platforms, and being developed rapidly. Static program analysi...
170
click to vote
DOCENG
2004
ACM
16 years 8 days ago
2004
ACM
Three-way merging is a technique that may be employed for reintegrating changes to a document in cases where multiple independently modified copies have been made. While tools fo...