3008 search results - page 182 / 602 » Mechanisms for Importing Modules |
259
click to vote
ICDE
2004
IEEE
16 years 8 months ago
2004
IEEE
As information becomes available in increasing amounts to a wide spectrum of users, the need for a shift towards a more user-centered information access paradigm arises. We develo...
157
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
This paper proposes a new haptic interaction system based on optical-haptic substitution. This system combines time-modulated structured light emitted to the workspace and a mobil...
216
click to vote
ICFP
2006
ACM
16 years 6 months ago
2006
ACM
I report on an experience using the Coq proof assistant to develop a program verification tool with a machine-checkable proof of full correctness. The verifier is able to prove me...
154
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
Implementing the 23 Gang-of-Four design patterns in the aspectoriented programming language Object Teams/Java (OT/J) yields modularity and reusability results roughly comparable t...
168
click to vote
ICDCN
2010
Springer
16 years 1 months ago
2010
Springer
Conventional wireless networks employ a contention based channel access mechanism, which not only imposes high latency but also reduces goodput of the network. Lack of interference...