Sciweavers

3410 search results - page 285 / 682
» Measuring Model Transformation in Model Driven Development
Sort
View
SEC
1997
15 years 8 months ago
A formal model to aid documenting and harmonizing of information security requirements
A formal top down model shall be presented to aid documentation and harmonization of information security requirements. The model formalizes layered development of inn security, w...
Jussipekka Leiwo, Yuliang Zheng
NSDI
2008
15 years 9 months ago
Freezing More Than Bits: Chilling Effects of the OLPC XO Security Model
In this paper, we discuss Bitfrost, the security model developed by the One Laptop Per Child project for its XO laptop computers. Bitfrost implements a number of security measures...
Meredith L. Patterson, Len Sassaman, David Chaum
TIM
2010
75views Education» more  TIM 2010»
15 years 1 months ago
Modeling the Series Impedance of a Quad Cable for Common-Mode DSL Applications
New digital subscriber line (DSL) technologies are being developed to meet the ever-increasing bandwidth demand of the user. One very promising approach injects "common-mode&q...
Wim Foubert, Carine Neus, Leo Van Biesen, Yves Rol...
ISER
1999
Springer
112views Robotics» more  ISER 1999»
15 years 11 months ago
Models for Automated Earthmoving
Abstract: We present a composite forward model of the mechanics of an excavator backhoe digging in soil. This model is used to predict the trajectories developed by a closed-loop f...
Howard Cannon, Sanjiv Singh
3DPVT
2006
IEEE
159views Visualization» more  3DPVT 2006»
16 years 21 days ago
Interactive Modeling with Automatic Online Compression
A few 3D interactive modeling systems have been developed recently. Such systems must cope with a high flow of input measurements during the entire acquisition period. Therefore, ...
Jean-Daniel Deschênes, Philippe Lambert, Pat...