3971 search results - page 381 / 795 » On the Use of Properties in Java Applications |
187
click to vote
HYBRID
2010
Springer
15 years 12 months ago
2010
Springer
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...
188
click to vote
VRML
2003
ACM
16 years 1 days ago
2003
ACM
We consider the possibility of automatically modifying the user’s viewpoint orientation for the purpose of enhancing the navigation experience. We concentrate on outdoor virtual...
219
click to vote
PLDI
2010
ACM
15 years 9 months ago
2010
ACM
The most intuitive memory model for shared-memory multithreaded programming is sequential consistency (SC), but it disallows the use of many compiler and hardware optimizations th...
176
click to vote
CVPR
2004
IEEE
16 years 8 months ago
2004
IEEE
In this paper, we introduce the notion of a programmable imaging system. Such an imaging system provides a human user or a vision system significant control over the radiometric a...
176
click to vote
BCSHCI
2007
15 years 8 months ago
2007
The use of formal models for user interface design can provide a number of benefits. It can help to ensure consistency across designs for multiple platforms, prove properties such...