4209 search results - page 693 / 842 » Software Change and Evolution |
179
click to vote
UPP
2004
Springer
15 years 11 months ago
2004
Springer
Self-assembly is the spontaneous self-ordering of substructures into superstructures driven by the selective affinity of the substructures. DNA provides a molecular scale material...
140
click to vote
VISUALIZATION
2002
IEEE
15 years 10 months ago
2002
IEEE
For quantitative examination of phenomena that simultaneously occur on very different spatial and temporal scales, adaptive hierarchical schemes are required. A special numerical ...
175
click to vote
MPC
2010
Springer
15 years 10 months ago
2010
Springer
d Abstract) Jane Hillston Laboratory for Foundations of Computer Science, The University of Edinburgh, Scotland Quantitative Analysis Stochastic process algebras extend classical p...
140
Voted
SIGUCCS
2000
ACM
15 years 10 months ago
2000
ACM
The quality of student consultants and their development through training and education are major factors in determining long-term effectiveness of university Help Desk. To hire a...
203
click to vote
CADE
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...