2111 search results - page 140 / 423 » How to Program Pervasive Systems |
72
Voted
CP
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. While incremental propagation for global constraints is recognized to be important, little research has been devoted to how propagator-centered constraint programming sys...
117
Voted
ESOP
2006
Springer
15 years 4 months ago
2006
Springer
We define a core language combining computational and architectural primitives, and study how static typing may be used to ensure safety properties of component composition and dyn...
99
Voted
SP
2000
IEEE
15 years 4 months ago
2000
IEEE
Tradeoffs are an important part of engineering security. Protocol security is important. So are efficiency and cost. This paper provides an early framework for handling such aspec...
106
Voted
CAV
2005
Springer
15 years 6 months ago
2005
Springer
Recent work on weighted-pushdown systems shows how to generalize interprocedural-dataflow analysis to answer “stack-qualified queries”, which answer the question “what data...
80
Voted
DAGSTUHL
2007
15 years 2 months ago
2007
This paper presents an information-theoretic model of a voting system, consisting of (a) definitions of the desirable qualities of integrity, privacy and verifiability, and (b) ...