Sciweavers

1009 search results - page 132 / 202
» Patterns, Tools and Models for Interaction Design
Sort
View
ENTCS
2008
99views more  ENTCS 2008»
13 years 10 months ago
Visual Specification of Metrics for Domain Specific Visual Languages
We present a Domain Specific Visual Language (DSVL) for the definition of metrics for other DSVLs. The metrics language has been defined using meta-modelling, and includes some of...
Esther Guerra, Paloma Díaz, Juan de Lara
LICS
2006
IEEE
14 years 4 months ago
Provable Implementations of Security Protocols
for reasoning about abstract models of protocols. The work on informal methods attempts to discern common patterns in the extensive record of flawed protocols, and to formulate po...
Andrew D. Gordon
ISMAR
2005
IEEE
14 years 4 months ago
A Pipeline for Rapidly Incorporating Real Objects into a Mixed Environment
A method is presented to rapidly incorporate real objects into virtual environments using laser scanned 3D models with color-based marker tracking. Both the real objects and their...
Xiyong Wang, Aaron Kotranza, John Quarles, Benjami...
DATE
2009
IEEE
168views Hardware» more  DATE 2009»
14 years 5 months ago
Selective state retention design using symbolic simulation
Abstract—Addressing both standby and active power is a major challenge in developing System-on-Chip designs for batterypowered products. Powering off sections of logic or memorie...
Ashish Darbari, Bashir M. Al-Hashimi, David Flynn,...
DBSEC
2004
170views Database» more  DBSEC 2004»
13 years 11 months ago
RBAC/MAC Security Analysis and Design for UML
In software construction, analysis investigates the boundary of a system (scope and requirements), its usage and access, and from a security perspective, who needs access to what ...
Thuong Doan, Steven A. Demurjian, Charles E. Phill...