3555 search results - page 525 / 711 » Security-Critical System Development with Extended Use Cases |
132
click to vote
CHI
2004
ACM
16 years 4 months ago
2004
ACM
The UK e-Science programme is relying on the evolution of the paper lab book into a pervasive data gathering lab system. To date take up of existing commercial or research lab boo...
236
click to vote
POPL
2008
ACM
16 years 4 months ago
2008
ACM
Contracts are behavioural descriptions of Web services. We devise a theory of contracts that formalises the compatibility of a client to a service, and the safe replacement of a s...
223
click to vote
SIGMOD
2006
ACM
16 years 4 months ago
2006
ACM
Integration systems typically support only a restricted set of queries over the schema they export. The reason is that the participating information sources contribute limited con...
120
click to vote
UIST
2009
ACM
15 years 10 months ago
2009
ACM
Previous work has demonstrated the viability of applying offline analysis to interpret forearm electromyography (EMG) and classify finger gestures on a physical surface. We extend...
158
Voted
ESOP
2005
Springer
15 years 9 months ago
2005
Springer
The notion of control dependence underlies many program analysis and transformation techniques used in numerous applications. Despite wide application, existing definitions and ap...