Sciweavers

4794 search results - page 440 / 959
» Trust-Based Mechanism Design
Sort
View
SOUPS
2010
ACM
15 years 11 months ago
Towards understanding ATM security: a field study of real world ATM use
With the increase of automated teller machine (ATM) frauds, new authentication mechanisms are developed to overcome security problems of personal identification numbers (PIN). Th...
Alexander De Luca, Marc Langheinrich, Heinrich Hus...
HICSS
2009
IEEE
161views Biometrics» more  HICSS 2009»
15 years 11 months ago
Configurative Service Engineering - A Rule-Based Configuration Approach for Versatile Service Processes in Corrective Maintenanc
Recently, service orientation has increasingly been debated both in research and practice. While researchers postulate a paradigm shift towards services as the basic unit of excha...
Jörg Becker, Daniel Beverungen, Ralf Knackste...
ICECCS
2007
IEEE
120views Hardware» more  ICECCS 2007»
15 years 11 months ago
Verifying the CICS File Control API with Z/Eves: An Experiment in the Verified Software Repository
Parts of the CICS transaction processing system were modelled formally in the 1980s in a collaborative project between IBM Hursley Park and Oxford University Computing Laboratory....
Leo Freitas, Konstantinos Mokos, Jim Woodcock
CASES
2006
ACM
15 years 10 months ago
Power efficient branch prediction through early identification of branch addresses
Ever increasing performance requirements have elevated deeply pipelined architectures to a standard even in the embedded processor domain, requiring the incorporation of dynamic b...
Chengmo Yang, Alex Orailoglu
EH
2004
IEEE
149views Hardware» more  EH 2004»
15 years 10 months ago
Organization of the Information Flow in the Perception-Action Loop of Evolved Agents
Sensor evolution in nature aims at improving the acquisition of information from the environment and is intimately related with selection pressure towards adaptivity and robustnes...
Alexander S. Klyubin, Daniel Polani, Chrystopher L...