3335 search results - page 463 / 667 » Grid result checking |
158
click to vote
DEXAW
2005
IEEE
15 years 11 months ago
2005
IEEE
Abstract— Experts are capable of performing complex tasks in their specific field of expertise. To do this, they use a vast amount of explicit and tacit domain knowledge. For v...
146
click to vote
ITICSE
2005
ACM
15 years 11 months ago
2005
ACM
Recent research has shown that a student’s learning style – essentially, the way a student approaches and masters new material – can affect student performance in introducto...
147
click to vote
SPAA
2005
ACM
15 years 11 months ago
2005
ACM
One approach in verifying the correctness of a multiprocessor system is to show that its execution results comply with the memory consistency model it is meant to implement. It ha...
180
click to vote
FSTTCS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Message sequence charts (MSCs) are commonly used to specify interactions between agents in communicating systems. Their visual nature makes them attractive for describing...
139
click to vote
SEMWEB
2005
Springer
15 years 11 months ago
2005
Springer
E-science experiments typically involve many distributed services maintained by different organisations. After an experiment has been executed, it is useful for a scientist to ver...