3557 search results - page 409 / 712 » Reviews |
214
click to vote
FAST
2009
15 years 4 months ago
2009
We present a formalism for provenance in distributed systems based on the -calculus. Its main feature is that all data products are annotated with metadata representing their prov...
227
click to vote
FLAIRS
2009
15 years 4 months ago
2009
Scientists typically need to take a large volume of information into account in order to deal with re-occurring tasks such as inspecting proceedings, finding related work, or revi...
189
click to vote
FMCO
2009
Springer
15 years 4 months ago
2009
Springer
This paper reviews the model of interactive Markov chains (IMCs, for short), an extension of labelled transition systems with exponentially delayed transitions. We show that IMCs a...
169
click to vote
HCI
2009
15 years 4 months ago
2009
Abstract. In this paper different interaction schemes which are currently implemented by major automotive manufacturers have been identified and analyzed. Complete overviews on all...
195
click to vote
HCI
2009
15 years 4 months ago
2009
This paper compares the perspicacity, appropriateness and preference of web browser icons from leading software providers with those of a culturespecific design. This online study ...