Stem card$ (all stems)

140 papers:

CHI-2015-LugerURG #design #game studies #process #using

Playing the Legal Card: Using Ideation Cards to Raise Data Protection Issues within the Design Process (EL, LU, TR, MG), pp. 457–466.

SEKE-2015-CavalcanteRC #experience #named #user interface

MAX: A Method for Evaluating the Post-use User eXperience through Cards and a Board (EC, LR, TC), pp. 495–500.

SIGIR-2015-ShokouhiG #query #ranking #recommendation

From Queries to Cards: Re-ranking Proactive Card Recommendations Based on Reactive Search History (MS, QG), pp. 695–704.

SIGIR-2015-ZhangZ #formal method #game studies #information retrieval #interactive #interface #optimisation

Information Retrieval as Card Playing: A Formal Model for Optimizing Interactive Retrieval Interface (YZ, CZ), pp. 685–694.

SAC-2015-CruzPQSSOBO #algorithm #game studies #named #probability #using

Amê: an environment to learn and analyze adversarial search algorithms using stochastic card games (ABC, LP, JQ, US, SS, AO, EB, ESO), pp. 208–213.

SAC-2015-GouthamLY #authentication #protocol #smarttech #using

An anonymous ID-based remote mutual authentication with key agreement protocol on ECC using smart cards (RAG, GJL, KYY), pp. 169–174.

SAC-2015-SantiagoPH #approach #detection #modelling

A modeling approach for credit card fraud detection in electronic payment services (GPS, AMP, RHJ), pp. 2328–2331.

ITiCSE-2014-FerreiraM #algorithm #analysis #design #education #using

The magic of algorithm design and analysis: teaching algorithmic skills using magic card tricks (JFF, AM), pp. 75–80.

SAS-2014-BessonJV #java #named #static analysis

SawjaCard: A Static Analysis Tool for Certifying Java Card Applications (FB, TPJ, PV), pp. 51–67.

CHI-2014-MuellerGVE #design #game studies #process

Supporting the creative game design process with exertion cards (FM, MRG, FV, DE), pp. 2211–2220.

LCT-NLE-2014-Said #sorting

Card Sorting Assessing User Attitude in E-Learning (GRES), pp. 261–272.

ICEIS-v3-2014-BuchdidPB #design #game studies

Playing Cards and Drawing with Patterns — Situated and Participatory Practices for Designing iDTV Applications (SBB, RP, MCCB), pp. 14–27.

ICEIS-v3-2014-ZacepinsBA #using

Administration of Government Subsidies Using Contactless Bank Cards (AZ, NB, IA), pp. 128–132.

SAC-2014-Lutz0D #question #smarttech

Are smartphones better than CRC cards? (RL, SS, SD), pp. 987–994.

CSEET-2013-Lutz0D #education #object-oriented #smarttech

Teaching object-orientation with smartphones as digital CRC cards (RL, SS, SD), pp. 89–98.

IFM-2013-SavaryFL #bytecode #detection #modelling #testing #using #verification

Detecting Vulnerabilities in Java-Card Bytecode Verifiers Using Model-Based Testing (AS, MF, JLL), pp. 223–237.

CHI-2013-CassidyAR #game studies #mobile #using

Using an open card sort with children to categorize games in a mobile phone application store (BC, DSA, JCR), pp. 2287–2290.

DUXU-CXC-2013-SakamotoN13a #exclamation #game studies #persuasion

Augmenting Yu-Gi-Oh! Trading Card Game as Persuasive Transmedia Storytelling (MS, TN), pp. 587–596.

DUXU-PMT-2013-ThomasJ #sorting

Merging Methodologies: Combining Individual and Group Card Sorting (RLT, IJ), pp. 417–426.

HCI-AMTE-2013-SteinhoffS #categorisation

Priming Categorization in a Card Sort (CS, JDS), pp. 265–272.

ECOOP-2013-FlanaganF #detection #named

RedCard: Redundant Check Elimination for Dynamic Race Detectors (CF, SNF), pp. 255–280.

DATE-2012-DrumlSWGH #estimation #manycore #smarttech

Estimation based power and supply voltage management for future RF-powered multi-core smart cards (ND, CS, RW, AG, JH), pp. 358–363.

DATE-2012-KroneAGF #smarttech #towards

Towards a wireless medical smart card (SK, BA, FG, GF), pp. 1483–1488.

PLDI-2012-CarteyLM #domain-specific language #source code

Synthesising graphics card programs from DSLs (LC, RL, OdM), pp. 121–132.

ICALP-v2-2012-GoodrichM #parallel

Anonymous Card Shuffling and Its Applications to Parallel Mixnets (MTG, MM), pp. 549–560.

CHI-2012-FriedmanH #tool support

The envisioning cards: a toolkit for catalyzing humanistic and technical imaginations (BF, DGH), pp. 1145–1148.

ICEIS-J-2012-PolasikGWKPT12a #empirical #mobile #performance

Time Efficiency of Point-of-Sale Payment Methods: Empirical Results for Cash, Cards and Mobile Payments (MP, JG, GW, JK, KP, NT), pp. 306–320.

ICEIS-v2-2012-PolasikGWKPT #analysis #mobile #process

Chronometric Analysis of a Payment Process for Cash, Cards and Mobile Devices (MP, JG, GW, JK, KP, NT), pp. 220–229.

SAC-2012-BeusterG #modelling #policy #security #smarttech

Formal security policy models for smart card evaluations (GB, KG), pp. 1640–1642.

ICSE-2012-DevosPDBMA #case study #industrial #performance #reuse #smarttech

Efficient reuse of domain-specific test knowledge: An industrial case in the smart card domain (ND, CP, JCD, RB, BM, GA), pp. 1123–1132.

ICST-2012-GansR #protocol #smarttech #testing

The SmartLogic Tool: Analysing and Testing Smart Card Protocols (GdKG, JdR), pp. 864–871.

CASE-2011-SaddemTT #embedded

Diagnosis of critical embedded systems: application to the control card of a railway vehicle braking systems (RS, AT, MT), pp. 163–168.

CSCW-2011-LobunetsP #game studies #prototype

Evaluating a smart working environment with a digital card game prototype (OL, WP), pp. 673–676.

HIMI-v1-2011-LeeKW #authentication #multi #smarttech #using

Cryptanalysis to a Remote User Authentication Scheme Using Smart Cards for Multi-server Environment (YL, JK, DW), pp. 321–329.

ICEIS-v1-2011-WangWH #data analysis #implementation

Research and Implementation of Campus Card Data Analysis System (FW, FW, LH), pp. 515–518.

ICEIS-v3-2011-HuangHGL #authentication #health #monitoring

Scheme of Authentication of Health Monitoring System based on Credit Card Mechanism (QH, QH, CG, SL), pp. 350–354.

KDD-2011-Hsu #realtime

Real-time risk control system for CNP (card not present) (TH), p. 783.

ICPR-2010-ZhangXLWH #segmentation

Slap Fingerprint Segmentation for Live-Scan Devices and Ten-Print Cards (YLZ, GX, YML, HTW, YPH), pp. 1180–1183.

SAC-2010-ZhangHJ #java #locality #transaction

Optimized Java Card transaction mechanism based on object locality (DZ, ZH, WJ), pp. 550–551.

FASE-2009-NarasamdyaP #certification

Certification of Smart-Card Applications in Common Criteria (IN, MP), pp. 309–324.

CHI-2009-ZhaoNII #interface

Magic cards: a paper tag interface for implicit robot control (SZ, KN, KI, TI), pp. 173–182.

HCI-NT-2009-MiuraSK #collaboration #process

Augmented Collaborative Card-Based Creative Activity with Digital Pens (MM, TS, SK), pp. 644–651.

ICEIS-ISAS-2009-SunyaevKMK #analysis #health #security

Security Analysis of the German Electronic Health Card’s Peripheral Parts (AS, AK, CM, HK), pp. 19–26.

CIKM-2009-RafieiL #query #using #web

Data extraction from the web using wild card queries (DR, HL), pp. 1939–1942.

SAC-2009-CatanoW #case study #java #ml #specification

Executing JML specifications of Java card applications: a case study (NC, TW), pp. 404–408.

SAC-2009-NarasamdyaP #certification

Certification of smart-card applications in common criteria (IN, MP), pp. 601–608.

TAP-2009-Chetali #certification #formal method #security #smarttech #testing

Security Testing and Formal Methods for High Levels Certification of Smart Cards (BC), pp. 1–5.

DATE-2008-KimPH #architecture #multi

Architecture Exploration of NAND Flash-based Multimedia Card (SK, CP, SH), pp. 218–223.

SEFM-2008-PhamTTC #algorithm #bound #java #memory management #performance

A Fast Algorithm to Compute Heap Memory Bounds of Java Card Applets (THP, AHT, NTT, WNC), pp. 259–267.

ICFP-2008-Jones #case study #domain-specific language #experience #game studies

Experience report: playing the DSL card (MPJ), pp. 87–90.

CHI-2008-KatsanosTA #analysis #architecture #design #named #semantics #using #web

AutoCardSorter: designing the information architecture of a web site using latent semantic analysis (CK, NKT, NMA), pp. 875–878.

SOFTVIS-2008-SavidisPZ #3d #agile #design #encoding #semantics #visual notation

Rapid visual design with semantics encoding through 3d CRC cards (AS, PP, GZ), pp. 193–196.

RecSys-2008-BrodskyHW #framework #named #recommendation

CARD: a decision-guidance framework and application for recommending composite alternatives (AB, SMH, JW), pp. 171–178.

SAC-2008-WendtGSWNM #analysis #mobile #optimisation #smarttech

System level power profile analysis and optimization for smart cards and mobile devices (MW, MG, CS, RW, UN, AM), pp. 1884–1888.

IFM-2007-HanebergGRS #approach #smarttech #verification

Verifying Smart Card Applications: An ASM Approach (DH, HG, WR, GS), pp. 313–332.

CHI-2007-ByrneGE #usability

Usability of voting systems: baseline data for paper, punch cards, and lever machines (MDB, KKG, SPE), pp. 171–180.

HCI-IDU-2007-XuQC #case study #design

A Case Study of New Way to Apply Card Sort in Panel Design (YX, XQ, SSC), pp. 289–297.

KDD-2007-CurryGLVB #case study #detection #scalability #set

Detecting changes in large data sets of payment card data: a case study (CC, RLG, DL, SV, JB), pp. 1018–1022.

FM-2006-Mostowski #java #logic #reasoning

Formal Reasoning About Non-atomic Java Card Methods in Dynamic Logic (WM), pp. 444–459.

SEFM-2006-MarcheR #behaviour #java #transaction #verification

Verification of JAVA CARD Applets Behavior with Respect to Transactions and Card Tears (CM, NR), pp. 137–146.

SIGIR-2006-LiR #named #using #web

DeWild: a tool for searching the web using wild cards (HL, DR), p. 731.

QAPL-2006-SotinCJ #behaviour #java #static analysis

Quantitative Static Analysis Over Semirings: Analysing Cache Behaviour for Java Card (PS, DC, TPJ), pp. 153–167.

PADL-2006-GouraudG #functional #java #testing #using #virtual machine

Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine (SDG, AG), pp. 1–15.

DRR-2005-OertelOBB #documentation #recognition #using #validation #web

Using the web to validate document recognition results: experiments with business cards (CO, SO, AB, DB), pp. 17–27.

ICDAR-2005-BerardiACM #analysis #layout #process

A color-based layout analysis to process censorship cards of film archives (MB, OA, MC, DM), pp. 1110–1114.

ICDAR-2005-LeeL #comprehension #design

Design of a Chinese Name Card Understanding System (HJL, SHL), pp. 981–985.

ICDAR-2005-LinT #design

Text Extraction from Name Cards with Complex Design (LL, CLT), pp. 977–980.

ICDAR-2005-LuoZPLX #mobile

Camera based mixed-lingual card reader for mobile device (XPL, LXZ, GP, JL, BHX), pp. 665–669.

FASE-2005-Mostowski #formal method #java #logic #security #verification

Formalisation and Verification of Java Card Security Properties in Dynamic Logic (WM), pp. 357–371.

FM-2005-AndronickCP #embedded #security #smarttech #source code #verification

Formal Verification of Security Properties of Smart Card Embedded Source Code (JA, BC, CPM), pp. 302–317.

SEFM-2005-Trentelman #correctness #proving #using

Proving Correctness of JavaCard DL Taclets using Bali (KT), pp. 160–169.

SEKE-2005-KuoLL #smarttech

Smart cards for the Taiwan NHI (JSK, TWL, CHL), pp. 99–104.

HPCA-2005-WillmannKRP #interface #network #performance #programmable

An Efficient Programmable 10 Gigabit Ethernet Network Interface Card (PW, HyK, SR, VSP), pp. 96–107.

AMOST-2005-BouquetJLPU #automation #generative #requirements #smarttech #testing #traceability #validation

Requirements traceability in automated test generation: application to smart card software validation (FB, EJ, BL, FP, MU).

TestCom-2005-LeeJL #analysis #detection #smarttech #using

Detecting Trapdoors in Smart Cards Using Timing and Power Analysis (JYL, SWJ, JL), pp. 275–288.

DATE-DF-2004-NeffeRSWRM #energy #estimation #modelling #power management #smarttech

Energy Estimation Based on Hierarchical Bus Models for Power-Aware Smart Cards (UN, KR, CS, RW, ER, AM), pp. 300–305.

DRR-2004-ShinJKKK #adaptation #image #polynomial #using

Block-adaptive binarization of business card images in PDA using modified quadratic filter (KTS, IHJ, NCK, CHK, TSK), pp. 92–101.

FASE-2004-HubbersP #java #reasoning #transaction

Reasoning about Card Tears and Transactions in Java Card (EH, EP), pp. 114–128.

ICEIS-v4-2004-SuiAM #approach #e-commerce #email

Trusted Email: A Proposed Approach to Prevent Credit Card Fraud in Softproducts E-Commerce (NTS, SIA, DM), pp. 106–113.

ICPR-v1-2004-BourlaiMK #architecture #smarttech #using #verification

Face Verification System Architecture Using Smart Cards (TB, KM, JK), pp. 793–796.

ICPR-v1-2004-FungM #parallel #using

Using Multiple Graphics Cards as a General Purpose Parallel Computer : Applications to Computer Vision (JF, SM), pp. 805–808.

ICPR-v1-2004-LuoLZ #design #implementation

Design and Implementation of a Card Reader based on Build-in Camera (XPL, JL, LXZ), pp. 417–420.

GPCE-2004-BonnetPMG #approach #modelling #smarttech

A Model-Driven Approach for Smart Card Configuration (SB, OP, RM, JMG), pp. 416–435.

RE-2004-NurmulianiZW #requirements #sorting #using

Using Card Sorting Technique to Classify Requirements Change (NN, DZ, SPW), pp. 240–248.

SAC-2004-BarbutiC #bytecode #java #verification

Java bytecode verification on Java cards (RB, SC), pp. 431–438.

SAC-2004-Chan #smarttech

Cookies on-the-move: managing cookies on a smart card (ATSC), pp. 1693–1697.

LCTES-2004-LiZ #control flow #java #programming

Advanced control flow in Java card programming (PL, SZ), pp. 165–174.

DRR-2003-ShiPJ #automation #information retrieval

Automatic information retrieval of Chinese business card (GS, WP, JJ), pp. 241–248.

ICDAR-2003-DowntonLPBSR

Computerising Natural History Card Archives (ACD, SML, GP, GWB, MJS, GSR), pp. 354–358.

ICDAR-2003-LucasPD #image #performance #recognition #word

Fast Lexicon-Based Word Recognition in Noisy Index Card Images (SML, GP, ACD), pp. 462–466.

CSEET-2003-BakerNH #education #game studies #re-engineering

An Experimental Card Game for Teaching Software Engineering (AB, EON, AvdH), pp. 216–223.

ITiCSE-2003-GrayGR #design #process

Extending CRC cards into a complete design process (KAG, MG, SR), p. 226.

FASE-2003-BeckertM #java #logic #transaction

A Program Logic for Handling JAVA CARD’s Transaction Mechanism (BB, WM), pp. 246–260.

FME-2003-BouquetL #case study #execution #generative #java #testing #transaction

Reification of Executable Test Scripts in Formal Specicifation-Based Test Generation: The Java Card Transaction Mechanism Case Study (FB, BL), pp. 778–795.

ICEIS-v4-2003-BrunsDH #smarttech

Secure Smart Card-Based Access to an E-Learning Portal (RB, JD, JvH), pp. 167–172.

SAC-2003-Chan #information management #smarttech

Integrating Smart Card Access to Web-Based Medical Information System (ATSC), pp. 246–250.

ICSE-2003-BakerNH #education #game studies #problem #re-engineering

Problems and Programmers: An Educational Software Engineering Card Game (AB, EON, AvdH), pp. 614–621.

RTA-2003-BartheS #framework #induction #validation

Validation of the JavaCard Platform with Implicit Induction Techniques (GB, SS), pp. 337–351.

ITiCSE-2002-KesslerN

Mid-term course evaluations with muddy cards (CWK, SNT), p. 233.

FME-2002-Casset #development #embedded #formal method #java #using #verification

Development of an Embedded Verifier for Java Card Byte Code Using Formal Methods (LC), pp. 290–309.

SAC-2002-LuSP #generative #implementation #performance #smarttech

Implementation of fast RSA key generation on smart cards (CL, ALMdS, FRP), pp. 214–220.

SAC-2002-SinghS #generative #grammarware

Grammar based off line generation of disposable credit card numbers (AS, ALMdS), pp. 221–228.

VMCAI-2002-BartheDJS #virtual machine

A Formal Correspondence between Offensive and Defensive JavaCard Virtual Machines (GB, GD, LJ, SMdS), pp. 32–45.

ASE-2001-Denney #algorithm #java #synthesis

The Synthesis of a Java Card Tokenization Algorithm (ED), pp. 43–50.

HT-2001-Bernstein #hypermedia #tool support

Card shark and thespis: exotic tools for hypertext narrative (MB), pp. 41–50.

ICDAR-2001-DowntonTWHLBSR #architecture #design #legacy

Constructing Web-Based Legacy Index Card Archives — Architectural Design Issues and Initial Data Acquisition (ACD, ACT, GJW, ACH, SML, GWB, MJS, GSR), pp. 854–858.

ICDAR-2001-LladosLCQ #automation #named

ICAR: Identity Card Automatic Reader (JL, FL, VC, JQ), pp. 470–475.

ICDAR-2001-LucasTCDR #recognition #robust #word

Robust Word Recognition for Museum Archive Card Indexing (SML, ACT, SJC, ACD, SR), pp. 144–148.

ICDAR-2001-PanJSW #automation #recognition

A System for Automatic Chinese Business Card Recognition (WP, JJ, GS, QW), pp. 577–581.

VLDB-2001-Gentili #architecture

Italian Electronic Identity Card — principle and architecture (MG), pp. 629–632.

ESOP-2001-BartheDJSS #execution #framework #semantics

A Formal Executable Semantics of the JavaCard Platform (GB, GD, LJ, BPS, SMdS), pp. 302–319.

FME-2001-HartelBJL #memory management #smarttech

Transacted Memory for Smart Cards (PHH, MJB, EdJ, ML), pp. 478–499.

CHI-2001-Muller #analysis

Layered participatory analysis: new developments in the CARD technique (MJM), pp. 90–97.

EDOC-2001-TojiWHS #framework #multi #smarttech

A Network-Based Platform for Multi-Application Smart Cards (RT, YW, SH, KS), p. 34–?.

ESOP-2000-DenneyJ #correctness #java #logic

Correctness of Java Card Method Lookup via Logical Relations (ED, TPJ), pp. 104–118.

FM-v1-1999-SabatierL #design #formal method #smarttech #transaction #validation

The Use of the B Formal Method for the Design and the Validation of the Transaction Mechanism for Smart Card Applications (DS, PL), pp. 348–368.

ESEC-FSE-1999-GrimaudLV #named #smarttech

FACADE: A Typed Intermediate Language Dedicated to Smart Cards (GG, JLL, JJV), pp. 476–493.

ICPR-1998-BartnikGSP

Postal reply card processing (DCB, VG, SNS, BCP), pp. 633–636.

ICPR-1998-UchidaKMT #classification #integration #statistics

Fingerprint card classification with statistical feature integration (KU, TK, MM, TT), pp. 1833–1839.

KDD-1998-ChanS #case study #detection #learning #scalability #towards

Toward Scalable Learning with Non-Uniform Class and Cost Distributions: A Case Study in Credit Card Fraud Detection (PKC, SJS), pp. 164–168.

ISMM-1998-AzaguryKPY #how #set

Combining Card Marking with Remembered Sets: How to Save Scanning Time (AA, EKK, EP, ZY), pp. 10–19.

CADE-1998-GorePSV #proving #smarttech #theorem proving

System Description: card TAP: The First Theorem Prover on a Smart Card (RG, JP, AS, HV), pp. 47–50.

ICDAR-1997-ChiouL #recognition

Recognition of Chinese business card (YHC, HJL), pp. 1028–1032.

ICDAR-1997-WatanabeH #automation #comprehension #layout

Automatic Acquisition of Layout Knowledge for Understanding Business Cards (TW, XH), pp. 216–220.

DLT-1997-NiemiR #multi

Multiparty Computations with a Deck of Cards (VN, AR), pp. 167–174.

CHI-1997-Haine

Claris Organizer’s Expanding Contact Card (PDH), pp. 455–462.

ICPR-1996-GeversS #image #invariant #retrieval

Color-metric pattern-card matching for viewpoint invariant image retrieval (TG, AWMS), pp. 3–7.

CSEE-1995-Smith #reuse

CARDS Training: Transferring Reuse Knowledge (KES), pp. 325–337.

TOOLS-EUROPE-1994-Tomek #smalltalk #tool support

Three Tools for Smalltalk Programmers: Task Oriented Views, Information Cards, and SCRC card (IT), pp. 489–497.

ICDAR-1993-PaikJL #automation #multi #recognition

Multiple combined recognition system for automatic processing of credit card slip applications (JP, SJ, YL), pp. 520–523.

ICDAR-1993-SaigaNKM

An OCR system for business cards (HS, YN, YK, TM), pp. 802–805.

HCI-SHI-1993-TakedaSKO #distributed #empirical #network

Preliminary Experiment with a Distributed and Networking Card-Handling Tool Named KJ-Editor (NT, AS, KK, HO), pp. 273–278.

RE-1993-OhnishiA #named #requirements

CARD: a software requirements definition environment (AO, KA), pp. 90–93.

HT-1987-Halasz #generative #hypermedia

Reflections on NoteCards: Seven Issues for the Next Generation of Hypermedia Systems (FGH), pp. 345–365.

HT-1987-TriggI #case study #experience #hypermedia

Hypertext Habitats: Experiences of Writers in NoteCards (RHT, PMI), pp. 89–108.

DAC-1981-GoshimaOKMTO #logic #scalability

Diagnostic system for large scale logic cards and LSIs (SG, YO, TK, TM, YT, YO), pp. 256–259.

DAC-1973-So #multi

Pin assignment of circuit cards and the routability of multilayer printed wiring backplanes (HCS), pp. 33–43.

DAC-1968-Rader #equation #logic #syntax

Application of a syntax driver to logic equation processing and data-control card scanning (JAR).

SHARE-1965-FiskI #automation #layout #quote

“ACCEL”: automated circuit card etching layout (CJF, DDI).

SHARE-1964-Lavering #automation #design

AUTO CARD automated printed circuit board design (FBL).