1054 search results - page 151 / 211 » From a Verified Kernel towards Verified Systems |
154
click to vote
ACCV
2007
Springer
16 years 10 days ago
2007
Springer
A movie captured by a wearable camera affixed to an actor’s body gives audiences the sense of “immerse in the movie”. The raw movie captured by wearable camera needs stabiliz...
158
click to vote
ICAS
2005
IEEE
15 years 11 months ago
2005
IEEE
Content Distribution Overlays improves end-user performance by replicating Web contents on a group of geographically distributed sites interconnected over the Internet. However, w...
127
click to vote
OZCHI
2005
ACM
15 years 11 months ago
2005
ACM
We report on a care setting where staff looking after ex-psychiatric patients were supported by mobile and stationery communications technology (e.g. mobile phones, a messaging sy...
143
click to vote
EGOV
2005
Springer
15 years 11 months ago
2005
Springer
One of the challenges citizens and businesses face in interacting with governments for entitled services or compliance services is to find the right set of regulations and rules th...
159
click to vote
EUC
2004
Springer
15 years 11 months ago
2004
Springer
The Distributed Object Group Framework(DOGF) we constructed supports the grouping of distributed objects that are required for distributed application. From the DOGF, we manage dis...