Sciweavers

1782 search results - page 221 / 357
» Dynamics based control with PSRs
Sort
View
ICCS
2009
Springer
16 years 3 days ago
Modular, Fine-Grained Adaptation of Parallel Programs
We present a modular approach to realizing fine-grained adaptation of program behavior in a parallel environment. Using a compositional framework based on function call intercepti...
Pilsung Kang 0002, Naresh K. C. Selvarasu, Naren R...
SMC
2007
IEEE
105views Control Systems» more  SMC 2007»
15 years 11 months ago
Performance evaluation of petri nets execution algorithms
— In this paper we present a performance evaluation of interpreted and centralized implementation techniques of Petri nets. These implementation techniques allow the translation ...
Ramon Piedrafita Moreno, José Luis Villarro...
CSFW
2006
IEEE
15 years 11 months ago
Encoding Information Flow in Haskell
This paper presents an embedded security sublanguage for enforcing information-flow policies in the standard Haskell programming language. The sublanguage provides useful informa...
Peng Li, Steve Zdancewic
CDC
2009
IEEE
101views Control Systems» more  CDC 2009»
15 years 10 months ago
Barrier function nonlinear optimization for optimal Decompression of divers
— This paper is based on a comprehensive dynamic mathematical model (Copernicus) of vascular bubble formation and growth during and after decompression from a dive. The model des...
Le Feng, Christian R. Gutvik, Tor Arne Johansen, D...
ICDE
2007
IEEE
164views Database» more  ICDE 2007»
15 years 12 months ago
Multi-session Separation of Duties (MSoD) for RBAC
Separation of duties (SoD) is a key security requirement for many business and information systems. Role Based Access Controls (RBAC) is a relatively new paradigm for protecting i...
David W. Chadwick, Wensheng Xu, Sassa Otenko, Roma...