4099 search results - page 549 / 820 » A Framework for Interactive Proof |
175
click to vote
EC
2000
15 years 6 months ago
2000
Holland's Adaptation in Natural and Artificial Systems largely dealt with how systems, comprised of many self-interested entities, can and should adapt as a whole. This semin...
182
click to vote
AAAI
2010
15 years 5 months ago
2010
hey generalize these factors to the abstract concepts of ability, integrity, and benevolence. This model does not use probabilistic decision theory. Other SCM trust factors have be...
190
click to vote
TAICPART
2010
IEEE
15 years 5 months ago
2010
IEEE
We report on how the Wrangler refactoring tool has been used to improve and transform test code for Erlang systems. This has been achieved through the removal of code clones, the i...
176
click to vote
IJSKD
2011
15 years 1 months ago
2011
Meta-design of socio-technical systems is an approach which complies with the need of integrating two different types of structures and processes: technical systems which are engi...
168
click to vote
VIS
2005
IEEE
16 years 7 months ago
2005
IEEE
Tensor topology is useful in providing a simplified and yet detailed representation of a tensor field. Recently the field of 3D tensor topology is advanced by the discovery that d...