3444 search results - page 434 / 689 » A Theory of Object-Oriented Design |
221
click to vote
SCESM
2006
ACM
16 years 1 months 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...
171
click to vote
GLVLSI
2005
IEEE
16 years 26 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...
195
click to vote
SMI
2005
IEEE
16 years 25 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...
227
click to vote
IUI
2005
ACM
16 years 25 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...
193
click to vote
SPAA
2005
ACM
16 years 25 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...