3071 search results - page 360 / 615 » Explanatory Design Theory |
201
click to vote
SCESM
2006
ACM
16 years 19 days ago
2006
ACM
Model Driven Development and Use Case Driven Development methodologies have inspired the proposal of a variety of software engineering approaches that synthesize statebased models...
146
click to vote
GLVLSI
2005
IEEE
16 years 8 days ago
2005
IEEE
Quantum-dot Cellular Automata (QCA) is a novel computing mechanism that can represent binary information based on spatial distribution of electron charge configuration in chemica...
172
click to vote
SMI
2005
IEEE
16 years 7 days ago
2005
IEEE
Curvature-based energy and forces are used in a broad variety of contexts, ranging from modeling of thin plates and shells to surface fairing and variational surface design. The a...
201
click to vote
IUI
2005
ACM
16 years 7 days ago
2005
ACM
Every program tells a story. Programming, then, is the art of constructing a story about the objects in the program and what they do in various situations. So-called programming l...
167
click to vote
SPAA
2005
ACM
16 years 7 days ago
2005
ACM
One approach in verifying the correctness of a multiprocessor system is to show that its execution results comply with the memory consistency model it is meant to implement. It ha...