1516 search results - page 261 / 304 » The Increasing Nvalue Constraint |
106
click to vote
WWW
2005
ACM
16 years 15 days ago
2005
ACM
On an abstract level, XML Schema increases the limited expressive power of Document Type Definitions (DTDs) by extending them with a recursive typing mechanism. However, an invest...
CHI
2009
ACM
16 years 12 days ago
2009
ACM
We present a tool for automatically generating UI layouts for handheld devices based on design principles. This tool introduces a gestalt approach to visual interface design rathe...
CAV
2009
Springer
16 years 11 days ago
2009
Springer
D-Finder tool implements a compositional method for the verification of component-based systems described in BIP language encompassing multi-party interaction. For deadlock detecti...
HPCA
2009
IEEE
16 years 11 days ago
2009
IEEE
New media and signal processing applications demand ever higher performance while operating within the tight power constraints of mobile devices. A range of hardware implementatio...
100
click to vote
MOBISYS
2009
ACM
16 years 11 days ago
2009
ACM
In this paper, we present a reliable storage service, called SolarStore, that adaptively trades-off storage reliability versus energy consumption in solar-powered sensor networks....