5084 search results - page 193 / 1017 » Proving Possibility Properties |
153
click to vote
JFP
2006
15 years 6 months ago
2006
Confinement properties impose a structure on object graphs which can be used to enforce encapsulation properties. From a practical point of view, encapsulation is essential for bu...
146
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
This paper proposes a type-and-effect system called Teq, which distinguishes terminating terms and total functions from possibly diverging terms and partial functions, for a lambd...
188
click to vote
DC
2010
15 years 3 months ago
2010
In this paper, we comparatively analyze some mainstream calculi for mobility and distribution, together with some of their variants: asynchronous -calculus, distributed -calculus,...
175
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
This paper deals with the existence and synthesis of parameterized-(control) Lyapunov functions (p-(C)LFs) for discrete-time nonlinear systems that are possibly subject to constrai...
172
click to vote
EH
2002
IEEE
15 years 11 months ago
2002
IEEE
It is argued that natural evolution is, par excellence, an algorithm that exploits the physical properties of materials. Such an exploitation of the physical characteristics has a...