13397 search results - page 180 / 2680 » From Static Distributed Systems to Dynamic Systems |
152
click to vote
ESORICS
2006
Springer
15 years 10 months ago
2006
Springer
Motivated by the need of application-level access control in dynamically extensible systems, this work proposes a static annotation system for modeling capabilies in a Java-like pr...
214
click to vote
SCANGIS
2003
15 years 7 months ago
2003
Although, most of phenomena change over time, there has been an attempt to model the phenomena of real world assuming a static nature for them. Even when changes occurred in the p...
178
click to vote
SAS
2001
Springer
15 years 11 months ago
2001
Springer
We present the implementation of cTI, a system for universal left-termination inference of logic programs, which heavily relies on static analysis techniques. Termination inference...
168
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— Unlike statically stable wheeled mobile robots, dynamically stable mobile robots can have higher centers of gravity, smaller bases of support and can be tall and thin resemblin...
172
click to vote
WCRE
2008
IEEE
16 years 25 days ago
2008
IEEE
Static views of object-oriented source code as presented in a development environment (IDE) do not provide explicit representations of dynamic collaboration to describe how source...