Sciweavers

6149 search results - page 539 / 1230
» Revealing the programming process
Sort
View
SAC
2005
ACM
16 years 20 days ago
Privacy preserving learning in negotiation
Machine learning techniques are widely used in negotiation systems. To get more accurate and satisfactory learning results, negotiation parties have the desire to employ learning ...
Sheng Zhang, Fillia Makedon
BIRTHDAY
2005
Springer
16 years 20 days ago
Formal Software Development in MAYA
Abstract. The formal development of industrial-size software is an errorprone and therefore an evolutionary process. Verifying formal specifications usually reveals hidden errors ...
Dieter Hutter, Serge Autexier
CHES
2005
Springer
109views Cryptology» more  CHES 2005»
16 years 20 days ago
Security Evaluation Against Electromagnetic Analysis at Design Time
Electromagnetic analysis (EMA) can be used to compromise secret information by analysing the electric and/or magnetic fields emanating from a device. It follows differential power...
Huiyun Li, A. Theodore Markettos, Simon W. Moore
DILS
2005
Springer
16 years 19 days ago
Factors Affecting Ontology Development in Ecology
Few ontologies in the ecological domain exist, but their development can take advantage of gained experience in other domains and from existing modeling practices in ecology. Taxon...
C. Maria Keet
DSVIS
2005
Springer
16 years 19 days ago
Concept Analysis as a Formal Method for Menu Design
The design and construction of navigation menus for websites have traditionally been performed manually according to the intuition of a web developer. This paper introduces a new a...
Guo-Qiang Zhang, Gongqin Shen, Ye Tian, Jiayang Su...