1981 search results - page 60 / 397 » The State of Change: A Survey |
142
click to vote
ICPADS
2008
IEEE
16 years 18 days ago
2008
IEEE
Peer-to-Peer (P2P) networks have been proposed as a promising approach to create more scalable Networked Virtual Environment (NVE) systems, but P2P-NVE also increases the probabil...
136
click to vote
FM
2001
Springer
15 years 10 months ago
2001
Springer
This paper describes a reduction technique which is very useful against the state explosion problem which occurs when model checking many distributed systems. Timestamps are often ...
198
click to vote
AAAI
2004
15 years 7 months ago
2004
A standard intuition underlying traditional accounts of belief change is the principle of minimal change. In this paper we introduce a novel account of belief change in which the ...
156
click to vote
ITC
1999
IEEE
15 years 10 months ago
1999
IEEE
A new synthesis technique for designing finite state machines with on-line parity checking is presented. The output logic and the next-state logic of the finite state machines are...
166
click to vote
AIEDAM
2000
15 years 6 months ago
2000
In designing a state space of possible designs is implied by the representation used and the computational processes that operate on that representation. GAs are a means of effect...