77016 search results - page 14800 / 15404 » Modeling Modeling |
217
click to vote
ISSTA
2004
ACM
16 years 19 days ago
2004
ACM
The notion that certain procedures are atomic is a fundamental correctness property of many multithreaded software systems. A procedure is atomic if for every execution there is a...
197
click to vote
ISSTA
2004
ACM
16 years 19 days ago
2004
ACM
This paper deals with testing of nondeterministic software systems. We assume that a model of the nondeterministic system is given by a directed graph with two kind of vertices: s...
203
click to vote
ITICSE
2004
ACM
16 years 19 days ago
2004
ACM
With our interest to improve our education in computer science, an understanding of how students learn about CS concepts, how different concepts are understood, as well as the con...
204
click to vote
JCDL
2004
ACM
16 years 19 days ago
2004
ACM
With the growth of digital music, content-based music retrieval (CBMR) has attracted increasingly attention. For most CBMR systems, the task is to return music objects similar to ...
187
click to vote
JCDL
2004
ACM
16 years 19 days ago
2004
ACM
As part of a more extensive study of reading-related practices, we have explored how people share information they encounter in their everyday reading as a complement to the more ...