10055 search results - page 296 / 2011 » Structured programming using processes |
206
click to vote
POPL
2004
ACM
16 years 26 days ago
2004
ACM
We investigate proof rules for information hiding, using the recent formalism of separation logic. In essence, we use the separating conjunction to partition the internal resource...
87
Voted
ADAEUROPE
2003
Springer
15 years 4 months ago
2003
Springer
Concurrency introduces a high degree of combinatory which may be the source of subtle mistakes. We present a new tool, Quasar, which is based on ASIS and which uses fully the conce...
98
Voted
ALT
2007
Springer
15 years 9 months ago
2007
Springer
We consider how state similarity in average reward Markov decision processes (MDPs) may be described by pseudometrics. Introducing the notion of adequate pseudometrics which are we...
112
click to vote
ISCAS
2003
IEEE
15 years 5 months ago
2003
IEEE
The design, fabrication and testing of a 5 5 micromachined tactile sensor array for the detection of an extremely small force (micrometer-Newton range) has been discussed. An anis...
92
Voted
HICSS
2011
IEEE
14 years 4 months ago
2011
IEEE
Idea generation techniques provide a variety of approaches for supporting an innovation process. Until recently, the space of techniques has been unstructured, and no clear guidel...