7452 search results - page 140 / 1491 » A Semantics for Multiprocessor Systems |
127
click to vote
APN
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Petri nets are widely used for modeling and analyzing workflows. Using the token-game semantics, Petri net-based workflow models can be analyzed before the model is actua...
148
click to vote
MTA
2002
15 years 3 months ago
2002
Digital video databases have become more pervasive and finding video clips quickly in large databases becomes a major challenge. Due to the nature of video, accessing contents of v...
117
click to vote
PCRCW
1997
Springer
15 years 8 months ago
1997
Springer
High performance portable and space-borne systems continue to demand increasing computation speeds while concurrently attempting to satisfy size, weight, and power constraints. As...
111
click to vote
SIGDOC
2009
ACM
15 years 10 months ago
2009
ACM
In this paper we analyze the problem of “situating explanations” in user assistance systems. We introduce semantic transparency as a user interface property that enables givin...
87
Voted
COOPIS
2002
IEEE
15 years 8 months ago
2002
IEEE