9626 search results - page 1441 / 1926 » Invariant Based Programming |
209
click to vote
JCS
2010
15 years 5 months ago
2010
A model of resource access control is presented in which the access control to resources can employ user interaction to obtain the necessary permissions. This model is inspired by...
199
click to vote
JSS
2010
15 years 5 months ago
2010
In this paper we present a software architecture and a development environment for the implementation of applications based on secure mobile agents. Recent breakthroughs in mobile...
148
click to vote
JUCS
2010
15 years 5 months ago
2010
Abstract: This paper presents a nonlinear solver based on the Newton-Krylov methods, where the Newton equations are solved by Krylov-subspace type approaches. We focus on the solut...
174
click to vote
MIG
2010
Springer
15 years 5 months ago
2010
Springer
In computer games, one or more groups of units need to move from one location to another as quickly as possible. If there is only one group, then it can be solved efficiently as a ...
193
click to vote
OOPSLA
2010
Springer
15 years 5 months ago
2010
Springer
We introduce a type system based on intervals, objects representing the time in which a block of code will execute. The type system can verify time-based properties such as when a...