4424 search results - page 806 / 885 » Semantic virtual environments |
154
click to vote
CHI
2004
ACM
16 years 5 months ago
2004
ACM
People cannot type as fast as they think, especially when faced with the constraints of mobile devices. There have been numerous approaches to solving this problem, including rese...
250
click to vote
POPL
2007
ACM
16 years 5 months ago
2007
ACM
This work presents a framework for fusing flow analysis and theorem proving called logic-flow analysis (LFA). The framework itthe reduced product of two abstract interpretations: ...
215
click to vote
POPL
2005
ACM
16 years 5 months ago
2005
ACM
In 1996, Gil and Lorenz proposed programming language constructs for specifying environmental acquisition in addition to inheritance acquisition for objects. They noticed that in ...
155
click to vote
ICDE
2010
IEEE
16 years 2 months ago
2010
IEEE
— Many applications offer a form-based environment for na¨ıve users for accessing databases without being familiar with the database schema or a structured query language. User...
131
click to vote
PERCOM
2009
ACM
15 years 12 months ago
2009
ACM
—We present a middleware platform for assembling pervasive applications that demand fault-tolerance and adaptivity in distributed, dynamic environments. Unlike typical adaptive m...