Sciweavers

1019 search results - page 142 / 204
» Computer Aided Ferret Design
Sort
View
ESORICS
2007
Springer
15 years 4 months ago
On the Automated Correction of Security Protocols Susceptible to a Replay Attack
Although there exist informal design guidelines and formal development support, security protocol development is time-consuming because design is error-prone. In this paper, we int...
Juan Carlos López Pimentel, Raul Monroy, Di...
MODELS
2007
Springer
15 years 4 months ago
Model Driven Development of Complex User Interface
To promote the Model-Based software engineering development of user interfaces, this paper proposes a model driven development approach of complex user interface. The approach cap...
Xudong Lu, Jiancheng Wan
ISPD
2005
ACM
239views Hardware» more  ISPD 2005»
15 years 3 months ago
Mapping algorithm for large-scale field programmable analog array
Modern advances in reconfigurable analog technologies are allowing field-programmable analog arrays (FPAAs) to dramatically grow in size, flexibility, and usefulness. With thes...
I. Faik Baskaya, Sasank Reddy, Sung Kyu Lim, Tyson...
MM
2004
ACM
206views Multimedia» more  MM 2004»
15 years 3 months ago
Seeing sounds: exploring musical social networks
Information gathering from multimedia retrieval systems is aided by effective visualization, but the degree to which visualization is effective depends in part on the way the cont...
Piotr D. Adamczyk
GLVLSI
2003
IEEE
177views VLSI» more  GLVLSI 2003»
15 years 3 months ago
Congestion reduction in traditional and new routing architectures
In dense integrated circuit designs, management of routing congestion is essential; an over congested design may be unroutable. Many factors influence congestion: placement, rout...
Ameya R. Agnihotri, Patrick H. Madden