2111 search results - page 198 / 423 » How to Program Pervasive Systems |
153
click to vote
IDT
2010
15 years 1 months ago
2010
Humans know how to reason based on cause and effect, but cause and effect is not enough to draw conclusions due to the problem of imperfect information and uncertainty. To resol...
128
Voted
ER
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Vulnerabilities are weaknesses in the requirements, design, and implementation, which attackers exploit to compromise the system. This paper proposes a vulnerability-cent...
147
Voted
UTP
2010
15 years 1 months ago
2010
This paper presents an approach for modelling interactions between users and systems in the Unifying Theories of Programming. Working in the predicate calculus, we outline generic ...
119
click to vote
SIGCSE
2005
ACM
15 years 9 months ago
2005
ACM
Professional software developers use version control systems to coordinate their work, and to provide an unwindable history of their project’s evolution. In contrast, students i...
135
click to vote
PODS
2005
ACM
16 years 3 months ago
2005
ACM
Abstract. We present a semantics and answer set programs for relational peer data exchange systems. When a peer answers a query, it exchanges data with other peers in order to supp...