4480 search results - page 39 / 896 » Prototyping Completion with Constraints Using Computational ... |
170
click to vote
CAD
2010
Springer
15 years 3 months ago
2010
Springer
Augmented Reality (AR) has been acclaimed as one of the promising technologies for advancing future UbiComp (Ubiquitous Computing) environments. Despite a myriad of AR application...
130
click to vote
P2P
2005
IEEE
15 years 9 months ago
2005
IEEE
Distributed peer-to-peer systems rely on voluntary participation of peers to effectively manage a storage pool. In such systems, data is generally replicated for performance and a...
150
Voted
RTA
2007
Springer
15 years 9 months ago
2007
Springer
This paper shows how to construct static analyzers using tree automata and rewriting techniques. Starting from a term rewriting system representing the operational semantics of the...
107
click to vote
CHI
2009
ACM
15 years 8 months ago
2009
ACM
When gathering feedback about an envisioned system, prototypes communicate design ideas to user groups. However, it is unclear how user responses are affected by prototype format....
118
Voted
ACSC
2002
IEEE
15 years 8 months ago
2002
IEEE
The per-method access control lists of standard middleware technologies allow only simple forms of access control to be expressed and enforced. Research systems based on capabilit...