1307 search results - page 63 / 262 » Follow the intellectual property |
128
click to vote
CCR
2005
15 years 1 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--...
116
click to vote
KGC
1997
Springer
15 years 5 months ago
1997
Springer
Rice’s Theorem says that every nontrivial semantic property of programs is undecidable. In this spirit we show the following: Every nontrivial absolute (gap, relative) counting p...
110
click to vote
SIAMCOMP
2010
14 years 12 months ago
2010
We propose a general model of local property reconstruction. Suppose we have a function f on domain Γ, which is supposed to have a particular property P, but may not have the pro...
110
click to vote
AMAST
2004
Springer
15 years 5 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...
118
click to vote
ASE
2005
15 years 1 months ago
2005
Abstract. Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. The typical approach to verifying propertie...