1655 search results - page 207 / 331 » State, Event, Time and Diagram in System Modeling |
160
click to vote
IPPS
1998
IEEE
15 years 10 months ago
1998
IEEE
Abstract. We describe a group membership protocol, called the timewheel group membership protocol, for a timed asynchronous distributed system. This protocol is a part of the timew...
149
click to vote
ATVA
2009
Springer
16 years 29 days ago
2009
Springer
: In this paper, we address the problem of synthesizing opaque systems. A secret predicate S over the runs of a system G is opaque to an external user having partial observability ...
176
click to vote
RSP
2003
IEEE
15 years 11 months ago
2003
IEEE
Model-based testing relies on the use of behavior models to automatically generate sequences of inputs and expected outputs. These sequences can be used as test cases to the end o...
176
click to vote
NN
2006
Springer
15 years 6 months ago
2006
Springer
The medial temporal lobe may play a critical role in binding successive events into memory while encoding contextual information in implicit and explicit memory tasks. Information...
163
click to vote
IJSR
2010
15 years 4 months ago
2010
Abstract— People in densely populated environments typically form groups that split and merge. In this paper we track groups of people so as to reflect this formation process an...