2775 search results - page 98 / 555 » Visualizing abstract events |
150
click to vote
QEST
2009
IEEE
15 years 11 months ago
2009
IEEE
We extend the theory of labeled Markov processes with internal nondeterminism, a fundamental concept for the further development of a process theory with abstraction on nondetermi...
156
Voted
ACSD
2006
IEEE
15 years 10 months ago
2006
IEEE
Recently, the formal approach of I–Systems has been newly hed through an abstract axiomatic system where events in system components are solely derived and defined from their b...
132
click to vote
MSE
2002
IEEE
15 years 9 months ago
2002
IEEE
Narnia is middleware that helps programmers build multimedia communication services. This middleware ollection of familiar programming abstractions— including events, event hand...
142
Voted
FORTE
2010
15 years 6 months ago
2010
Abstract. The complexity of distributed algorithms, such as state machine replication, motivates the use of formal methods to assist correctness verification. The design of the for...
145
Voted
FCS
2006
15 years 6 months ago
2006
: We introduce an extended model for view-centric reasoning, EVCR, that provides more nsive and flexible abstractions for representing actual concurrency. The theory of Communicati...