Sciweavers

3516 search results - page 236 / 704
» Integrating Security Modeling into Embedded System Design
Sort
View
105
Voted
DAGSTUHL
2006
15 years 5 months ago
On Comparison of Mechanisms of Economic and Social Exchanges: The Times Model
Abstract. An e-market system is a concrete implementation of a market institution; it embeds one or more exchange mechanisms. E-market systems are also information systems which ar...
Gregory E. Kersten, Eva Chen, Dirk Neumann, Rustam...
151
Voted
VW
2000
Springer
215views Virtual Reality» more  VW 2000»
15 years 7 months ago
A 3-D Biomechanical Model of the Salamander
This article describes a 3D biomechanical simulation of a salamander to be used in experiments in computational neuroethology. The physically-based simulation represents the salama...
Auke Jan Ijspeert
124
Voted
IEEESP
2007
98views more  IEEESP 2007»
15 years 3 months ago
Educating Students to Create Trustworthy Systems
igh level of abstraction and to provide broad oversight. In contrast, the goal of computer science security education is to provide the technicalexpertisetodevelopsecure software a...
Richard S. Swart, Robert F. Erbacher
129
Voted
SOSP
2009
ACM
16 years 17 days ago
Fabric: a platform for secure distributed computation and storage
Fabric is a new system and language for building secure distributed information systems. It is a decentralized system that allows heterogeneous network nodes to securely share bot...
Jed Liu, Michael D. George, K. Vikram, Xin Qi, Luc...
126
Voted
CDC
2010
IEEE
144views Control Systems» more  CDC 2010»
14 years 10 months ago
Robust controller design by convex optimization based on finite frequency samples of spectral models
Abstract-- Some frequency-domain controller design problems are solved using a finite number of frequency samples. Consequently, the performance and stability conditions are not gu...
Gorka Galdos, Alireza Karimi, Roland Longchamp