5904 search results - page 787 / 1181 » Requirements for a Composition Language |
179
click to vote
ASPLOS
2004
ACM
16 years 8 days ago
2004
ACM
Recent studies have suggested that the soft-error rate in microprocessor logic will become a reliability concern by 2010. This paper proposes an efficient error detection techniqu...
180
click to vote
WOSP
2004
ACM
16 years 8 days ago
2004
ACM
Modelling and analysing distributed and mobile software systems is a challenging task. PEPA nets—coloured stochastic Petri nets—are a recently introduced modelling formalism w...
179
click to vote
COLT
2004
Springer
16 years 7 days ago
2004
Springer
Different formal learning models address different aspects of human learning. Below we compare Gold-style learning—interpreting learning as a limiting process in which the lear...
177
click to vote
DEXA
2004
Springer
16 years 7 days ago
2004
Springer
The efficacy of expert systems often depends on the accuracy and completeness of the problem specification negotiated with the user. Therefore, efficient user interfaces are needed...
175
click to vote
ESORICS
2004
Springer
16 years 7 days ago
2004
Springer
Parameters of a program’s runtime environment such as the machine architecture and operating system largely determine whether a vulnerability can be exploited. For example, the m...