5268 search results - page 644 / 1054 » Analysis of Design Process Dynamics |
155
click to vote
IANDC
2008
15 years 6 months ago
2008
A variant of the Mobile Ambient calculus, called Boundary Ambients, is introduced, supporting the modelling of multi-level security policies. Ambients that may guarantee to proper...
194
click to vote
CAD
2005
Springer
15 years 6 months ago
2005
Springer
CAD has been traditionally used to assist in engineering design and modeling for representation, analysis and manufacturing. Advances in Information Technology and in Biomedicine ...
195
click to vote
ACMDIS
2000
ACM
15 years 11 months ago
2000
ACM
Contextual development differs from traditional user interface development in several ways: It focuses on the context of usage and the user population rather than on the technical...
167
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
Bounded Model Checking (BMC) based on Boolean Satisfiability (SAT) procedures has recently gained popularity as an alternative to BDD-based model checking techniques for finding b...
179
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
The Sound of Touch is a new tool for real-time capture and sensitive physical stimulation of sound samples using digital convolution. Our hand-held wand can be used to (1) record ...