Sciweavers

5184 search results - page 175 / 1037
» Computer support for mechatronic control system design
Sort
View
167
Voted
WWW
2010
ACM
15 years 11 months ago
Alhambra: a system for creating, enforcing, and testing browser security policies
Alhambra is a browser-based system designed to enforce and test web browser security policies. At the core of Alhambra is a policyenhanced browser supporting fine-grain security ...
Shuo Tang, Chris Grier, Onur Aciiçmez, Samu...
141
Voted
CEC
2005
IEEE
15 years 10 months ago
Automated tile design for self-assembly conformations
AbstractSelf-Assembly is a powerful autopoietic mechanism ubiquitous throughout the natural world. It may be found at the molecular scale and also at astronomical scales. Self-asse...
Germán Terrazas, Natalio Krasnogor, Graham ...
HASE
1997
IEEE
15 years 8 months ago
A Mechanism for Communicating in Dynamically Reconfigurable Embedded Systems
Abstract: We present a time-bounded state-based communication mechanism for dynamically reconfigurable embedded systems. The mechanism is a single-processor, low-overhead version o...
Mehrdad Hassani, David B. Stewart
113
Voted
CN
2000
74views more  CN 2000»
15 years 4 months ago
An experimental system for distributed classroom education
This paper describes an experimental system for classroom-based tele-education based on IP multicast. It gives an overview of the system and describes how the system is designed t...
Peter Ørbæk
141
Voted
HYBRID
2010
Springer
15 years 2 months ago
Timed I/O automata: a complete specification theory for real-time systems
A specification theory combines notions of specifications and implementations with a satisfaction relation, a refinement relation and a set of operators supporting stepwise design...
Alexandre David, Kim G. Larsen, Axel Legay, Ulrik ...