2111 search results - page 270 / 423 » How to Program Pervasive Systems |
147
Voted
POPL
1999
ACM
15 years 7 months ago
1999
ACM
An increasing number of systems rely on programming language technology to ensure safety and security of low-level code. Unfortunately, these systems typically rely on a complex, ...
109
click to vote
COSIT
2003
Springer
15 years 7 months ago
2003
Springer
Because diagrams are often created incrementally, a qualitative diagrammatic reasoning system must dynamically manage a potentially large set of spatial interpretations. This pape...
97
Voted
FPL
1998
Springer
15 years 6 months ago
1998
Springer
The readily available performance advantages, gained in early virtual circuitry systems, are being recouped following advances in general purpose processor architectures and have ...
155
Voted
TSE
2011
14 years 9 months ago
2011
— We present Bristlecone, a programming language for robust software systems. Bristlecone applications have two components: a high-level organization specification that describe...
122
Voted
SIGSOFT
2006
ACM
16 years 3 months ago
2006
ACM
Though many tools are available to help programmers working on change tasks, and several studies have been conducted to understand how programmers comprehend systems, little is kn...