1546 search results - page 130 / 310 » Context-Aware Computing with Sound |
152
click to vote
SP
2009
IEEE
15 years 11 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
151
Voted
CAV
2009
Springer
15 years 9 months ago
2009
Springer
We consider the decision problem for quantifier-free formulas whose atoms are linear inequalities interpreted over the reals or rationals. This problem may be decided using satisf...
152
Voted
CMMR
2004
Springer
15 years 10 months ago
2004
Springer
Although many artists have worked to create associations between music and animation, this has traditionally be done by developing one to suit the pre-existing other, as in visuali...
149
click to vote
UIALL
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Recent trends in software development directed toward intelligence, distribution, and mobility need to be followed by an increased sophistication in user interface design...
121
click to vote
JAR
2008
15 years 5 months ago
2008
Much research in the area of constraint processing has recently been focused on extracting small unsatisfiable "cores" from unsatisfiable constraint systems with the goal...