2746 search results - page 442 / 550 » Case Study in Survivable Network System Analysis |
113
click to vote
MKM
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We present a computational origami construction of Morley’s triangles and automated proof of correctness of the generalized Morley’s theorem in a streamlined process ...
107
click to vote
ISW
2004
Springer
15 years 7 months ago
2004
Springer
We study the security challenges faced by the mobile agent paradigm, where code travels and performs computations on remote hosts in an autonomous manner. We define universally co...
WISA
2004
Springer
15 years 6 months ago
2004
Springer
In distributed component environment, a Role-Based Access Control (RBAC) server manages all authorization policies of components in the same domains whereas the components are dist...
123
click to vote
INFOSCALE
2009
ACM
15 years 6 months ago
2009
ACM
With the current proliferation of wireless networks and mobile device technologies, the management of moving object databases to facilitate queries over these domains has been exte...
108
click to vote
ENTCS
2010
15 years 1 months ago
2010
This paper describes the semantics of a timed, resource-constrained extension of the Creol modeling language. Creol is an object-oriented modeling language with a design that is s...