12052 search results - page 732 / 2411 » computing 2010 |
175
click to vote
DSS
2002
15 years 7 months ago
2002
Studies of the effect of individual differences on usage of information systems have yielded mixed results. This study examines the effect of individual differences on the perceiv...
198
click to vote
ENTCS
2002
15 years 7 months ago
2002
Declarative debugging has been proposed as a suitable technique for developing debuggers in the context of declarative languages. However, to become really useful debuggers must b...
204
click to vote
ENTCS
2002
15 years 7 months ago
2002
We report on the automatic verification of timed probabilistic properties of the IEEE 1394 root contention protocol combining two existing tools: the real-time modelchecker Kronos...
161
click to vote
ENTCS
2002
15 years 7 months ago
2002
In this paper, we revisit the forward and backward approaches to the verification of extensions of infinite state Petri Nets. As contributions, we propose an efficient data struct...
197
click to vote
ENTCS
2002
15 years 7 months ago
2002
This paper extends the well-known technique of slicing to synchronous reactive programs. Synchronous languages exemplified by Esterel, Lustre, Signal and Argos, novel model of exe...