6656 search results - page 118 / 1332 » Change, Change, Change: Three Approaches |
176
click to vote
CCR
2005
15 years 6 months ago
2005
Today's data networks are surprisingly fragile and difficult to manage. We argue that the root of these problems lies in the complexity of the control and management planes--...
154
click to vote
ASPDAC
2005
ACM
15 years 8 months ago
2005
ACM
Incremental physical design is an important methodology towards achieving design closure for high-performance large-scale circuits. Placement tools must accommodate incremental ch...
170
click to vote
AIML
2004
15 years 7 months ago
2004
In this paper we study the relation between two approaches to information change: Dynamic Epistemic Logic and Belief Revision. One of the main differences between these approaches...
164
click to vote
BROADNETS
2007
IEEE
16 years 20 days ago
2007
IEEE
Fast convergence to topology changes is a key requirement in modern routing infrastructure while reducing the protocol CPU overhead continues to be as important as before. In this...
138
click to vote
GI
2009
Springer
15 years 11 months ago
2009
Springer
Abstract: Contracts are a proven tool in software development. They provide specifications for operations that may be statically verified or dynamically validated by contract mon...