Sciweavers

177 search results - page 16 / 36
» Access Control Based on Execution History
Sort
View
CDC
2010
IEEE
113views Control Systems» more  CDC 2010»
13 years 2 months ago
Independent vs. joint estimation in multi-agent iterative learning control
This paper studies iterative learning control (ILC) in a multi-agent framework. A group of agents simultaneously and repeatedly perform the same task. The agents improve their perf...
Angela Schöllig, Javier Alonso-Mora, Raffaell...
ICDE
2006
IEEE
133views Database» more  ICDE 2006»
14 years 1 months ago
Transaction Time Support Inside a Database Engine
Transaction time databases retain and provide access to prior states of a database. An update “inserts” a new record while preserving the old version. Immortal DB builds trans...
David B. Lomet, Roger S. Barga, Mohamed F. Mokbel,...
RTAS
2010
IEEE
13 years 6 months ago
Physicalnet: A Generic Framework for Managing and Programming Across Pervasive Computing Networks
This paper describes the design and implementation of a pervasive computing framework, named Physicalnet. Essentially, Physicalnet is a generic paradigm for managing and programmi...
Pascal Vicaire, Zhiheng Xie, Enamul Hoque, John A....
HYBRID
2000
Springer
13 years 11 months ago
Modular Specification of Hybrid Systems in CHARON
Abstract. We propose a language, called Charon, for modular specification of interacting hybrid systems. For hierarchical description of the system architecture, Charon supports bu...
Rajeev Alur, Radu Grosu, Yerang Hur, Vijay Kumar, ...
PPDP
2005
Springer
14 years 1 months ago
Isolation-only transactions by typing and versioning
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 ...
Pawel T. Wojciechowski