1357 search results - page 145 / 272 » Controlling Access to Documents: A Formal Access Control Mod... |
182
click to vote
CEC
2009
IEEE
16 years 1 months ago
2009
IEEE
—In this paper we present a model which allows to co-evolve the morphology and the control system of realistically simulated robots (creatures). The method proposed is based on a...
182
click to vote
ESSMAC
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. We consider a linear system, such as an estimator or a controller, in which several signals are transmitted over wireless communication channels. With the coding and medi...
195
click to vote
MM
1993
ACM
15 years 10 months ago
1993
ACM
as a tree which specifies the presentation in an abstract, machineindependent way. This specification is created and edited using an authoring system; it is mapped to a particula...
160
click to vote
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
In this paper, we initiate a formal study of security on Android: Google’s new open-source platform for mobile devices. Specifically, we present a core typed language to descri...
155
click to vote
PPDP
2005
Springer
15 years 12 months ago
2005
Springer
In this paper we design a language and runtime support for isolation-only, multithreaded transactions (called tasks). Tasks allow isolation to be declared instead of having to be ...