1945 search results - page 71 / 389 » An Architectural Design for Digital Objects |
171
click to vote
FPL
1999
Springer
15 years 10 months ago
1999
Springer
Although verification and simulation tools are always improving, the results they provide remain hard to analyze and interpret. On one hand, verification sticks to the functional ...
176
click to vote
KBSE
2010
IEEE
15 years 4 months ago
2010
IEEE
We present a semi-automated approach, Secoria, for analyzing a security runtime architecture for security and for conformance to an object-oriented implementation. Typecheckable a...
202
click to vote
CDES
2010
15 years 4 months ago
2010
This paper describes the design of a delay-insensitive (DI) Cell Matrix. This architecture allows for massively parallel, self-determined operation and can be used to implement reg...
156
click to vote
TABLETOP
2007
IEEE
16 years 16 days ago
2007
IEEE
The past several years of computer interaction research have shown an increasing interest in tabletops for shared user interactions through touch or tangible objects. Digital medi...
179
click to vote
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
The multi domain nature of a mechatronic system makes it difficult to model using a single modeling technique over the whole system as varying sets of system variables are require...