2111 search results - page 279 / 423 » How to Program Pervasive Systems |
179
Voted
CPAIOR
2010
Springer
15 years 16 days ago
2010
Springer
Finite domain propagation solving, the basis of constraint programming (CP) solvers, allows building very high-level models of problems, and using highly specific inference encapsu...
160
click to vote
ICFP
2012
ACM
13 years 5 months ago
2012
ACM
Continuing a line of work by Abramsky (1994), by Bellin and Scott (1994), and by Caires and Pfenning (2010), among others, this paper presents CP, a calculus in which propositions...
EICS
2009
ACM
15 years 9 months ago
2009
ACM
Usage data logged from user interactions can be extremely valuable for evaluating software usability. However, instrumenting software to collect usage data is a time-intensive tas...
125
Voted
CSFW
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract—Many computer systems have a functional requirement to release information. Such requirements are an important part of a system’s information security requirements. Cu...
148
Voted
EUSAI
2007
Springer
15 years 4 months ago
2007
Springer
Developing applications for smart spaces is a challenging task. Most programming systems narrowly focus on the embedded computer infrastructure and neglect the spatial aspect of th...