1975 search results - page 78 / 395 » Property analysis and design understanding |
161
click to vote
ER
2007
Springer
15 years 10 months ago
2007
Springer
The Selfish-brain theory has created the theoretical basis for the systemic analysis of the energy metabolism in terms of a supply chain. The energy in form of glucose equivalents...
128
click to vote
AUSAI
2009
Springer
16 years 18 days ago
2009
Springer
In this paper, we introduce an experimental approach to the design, analysis and implementation of market mechanisms based on double auction. We define a formal market model that ...
178
Voted
IFL
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
194
click to vote
IWVF
2001
Springer
15 years 10 months ago
2001
Springer
Volumetric images of small mortar samples under load are acquired by X-ray microtomography. The images are binarized at many different threshold values, and over a million connecte...
146
click to vote
CHI
2010
ACM
16 years 26 days ago
2010
ACM
Personal firewalls are an important aspect of security for home computer users, but little attention has been given to their usability. We conducted semi-structured interviews to ...