882 search results - page 27 / 177 » Allowing State Changes in Specifications |
157
click to vote
AMAST
2004
Springer
15 years 9 months ago
2004
Springer
Since Z, being a state-based language, describes a system in terms of its state and potential state changes, it is natural to want to describe properties of a specified system also...
145
click to vote
SIROCCO
2008
15 years 7 months ago
2008
Consider a synchronized distributed system where each node can only observe the state of its neighbors. Such a system is called selfstabilizing if it reaches a stable global state ...
163
click to vote
PAMI
2010
15 years 4 months ago
2010
—We consider the problem of inferring and modeling topics in a sequence of documents with known publication dates. The documents at a given time are each characterized by a topic...
183
click to vote
DOA
2001
15 years 7 months ago
2001
Java Remote Method Invocation (RMI) is a specification for building distributed object-oriented applications. RMI was designed primarily for use in conventional, wired computing e...
197
click to vote
SIMULATION
2011
15 years 28 days ago
2011
From a modelling and simulation perspective, studying dynamic systems consists of focusing on changes in states. According to the precision of state changes, generic algorithms ca...