Search results for "Typing"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
21	Patrick Baillot, Kazushige Terui	A Feasible Algorithm for Typing in Elementary Affine Logic.	TLCA	2005	DBLP DOI BibTeX RDF
21	Edward Clarkson, James Clawson, Kent Lyons, Thad Starner	An empirical study of typing rates on mini-QWERTY keyboards.	CHI Extended Abstracts	2005	DBLP DOI BibTeX RDF	mini-QWERTY, mobile input, thumb keyboard, text entry, keypad input
21	Martin Elsman, Ken Friis Larsen	Typing XHTML Web Applications in ML.	PADL	2004	DBLP DOI BibTeX RDF
21	François Coste, Daniel Fredouille, Christopher Kermorvant, Colin de la Higuera	Introducing Domain and Typing Bias in Automata Inference.	ICGI	2004	DBLP DOI BibTeX RDF	Automata Inference, Background Knowledge
21	Sébastien Carlier, Jeff Polakow, J. B. Wells, A. J. Kfoury	System E: Expansion Variables for Flexible Typing with Linear and Non-linear Types and Intersection Types.	ESOP	2004	DBLP DOI BibTeX RDF
21	Javier Garcés Eisele, Carolina Yolanda Castañeda Roldán, Mauricio Javier Osorio Galindo, Ma. del Pilar Gómez Gil	Usefulness of Solution Algorithms of the Traveling Salesman Problem in the Typing of Biological Sequences in a Clinical Laboratory Setting.	CONIELECOMP	2004	DBLP DOI BibTeX RDF
21	Shuji Senda, Kyosuke Nishiyama, Toshiyuki Asahi, Keiji Yamada	Camera-Typing Interface for Ubiquitous Information Services.	PerCom	2004	DBLP DOI BibTeX RDF
21	Christian Beck, Gottfried Seisenbacher, Georg Edelmayer, Wolfgang L. Zagler	First User Test Results with the Predictive Typing System FASTY.	ICCHP	2004	DBLP DOI BibTeX RDF
21	Chris Houser, Patricia Thornton	Japanese College Students' Typing Speed on Mobile Devices.	WMTE	2004	DBLP DOI BibTeX RDF
21	Renate Klempien-Hinrichs, Hans-Jörg Kreowski, Sabine Kuske	Typing of Graph Transformation Units.	ICGT	2004	DBLP DOI BibTeX RDF
21	Neil M. Goldman	Ontology-Oriented Programming: Static Typing for the Inconsistent Programmer.	ISWC	2003	DBLP DOI BibTeX RDF
21	Andrey Koltashev	A Practical Approach to Software Portability Based on Strong Typing and Architectural Stratification.	JMLC	2003	DBLP DOI BibTeX RDF
21	Andrew D. Gordon 0001, Riccardo Pucella	Validating a Web service security abstraction by typing.	XML Security	2002	DBLP DOI BibTeX RDF	Web services, authentication, type systems, remote procedure call
21	Wolfgang L. Zagler	Matching Typing Persons and Intelligent Interfaces - Introduction to the Special Thematic Session.	ICCHP	2002	DBLP DOI BibTeX RDF
21	Andrew D. Gordon 0001, Don Syme	Typing a multi-language intermediate code.	POPL	2001	DBLP DOI BibTeX RDF
21	Michael Priestley	Writing, designing, and processing information in the Darwin information typing architecture (DITA).	SIGDOC	2001	DBLP DOI BibTeX RDF	XML
21	Giuseppe Castagna, Giorgio Ghelli, Francesco Zappa Nardelli	Typing Mobility in the Seal Calculus.	CONCUR	2001	DBLP DOI BibTeX RDF
21	Ferruccio Damiani	Typing Local Definitions and Conditional Expressions with Rank 2 Intersection.	FoSSaCS	2000	DBLP DOI BibTeX RDF
21	Harald Ganzinger, Christoph Meyer 0001, Christoph Weidenbach	Soft Typing for Ordered Resolution.	CADE	1997	DBLP DOI BibTeX RDF
21	Nenad Medvidovic, Peyman Oreizy, Jason E. Robbins, Richard N. Taylor	Using Object-Oriented Typing to Support Architectural Design in the C2 Style.	SIGSOFT FSE	1996	DBLP DOI BibTeX RDF	C++
21	Philippe de Groote	Defining Lambda-Typed Lambda-Calculi by Axiomatizing the Typing Relation.	STACS	1993	DBLP DOI BibTeX RDF
21	Andrew K. Wright	Typing References by Effect Inference.	ESOP	1992	DBLP DOI BibTeX RDF
21	Florian Matthes, Atsushi Ohori, Joachim W. Schmidt	Typing Schemes for Objects with Locality.	East/West Database Workshop	1990	DBLP DOI BibTeX RDF
21	Richard B. Kieburtz	Precise Typing of Abstract Data Type Specifications.	POPL	1983	DBLP DOI BibTeX RDF
15	Azer Bestavros, Assaf J. Kfoury, Andrei Lapets, Michael J. Ocean	Safe compositional network sketches: formal framework.	HSCC	2010	DBLP DOI BibTeX RDF	modeling, design, verification, typing, compositionality
15	Allison Druin, Elizabeth Foss, Hilary Browne Hutchinson, Evan Golub, Leshell Hatley	Children's roles using keyword search interfaces at home.	CHI	2010	DBLP DOI BibTeX RDF	internet, search, search engine, children, typing, query formulation, search results
15	Carlos Hitoshi Morimoto, Arnon Amir	Context switching for fast key selection in text entry applications.	ETRA	2010	DBLP DOI BibTeX RDF	gaze interfaces, gaze typing, context switching
15	Miltiadis Kokkonidis	First-Order Glue.	J. Log. Lang. Inf.	2008	DBLP DOI BibTeX RDF	Glue, Syntax-semantics interface, First-Order Linear Logic, Typing systems, Compositional semantics
15	Jérémy Buisson, Fabien Dagnat	Introspecting Continuations in Order to Update Active Code.	HotSWUp	2008	DBLP DOI BibTeX RDF	DSU, dynamic update of active code, introspection of execution states, typing, continuation, language construct, control operator
15	Joseph Gil, Yoav Zibin	Efficient dynamic dispatching with type slicing.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	CT (compact dispatch tables), type slicing, hierarchy, subtyping, message, incremental, dispatch, dynamic-typing
15	Kohei Honda 0001, Nobuko Yoshida	A uniform type structure for secure information flow.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	The ?-calculus, type-based program analysis, typing system, secure information flow
15	Andrew Cirillo, James Riely	Access Control Based on Code Identity for Open Distributed Systems.	TGC	2007	DBLP DOI BibTeX RDF	Compound Principals, Higher-Order Pi Calculus, Access Control, Typing, Trusted Computing, Remote Attestation, Authorization Logic
15	Stéphane Ducasse, Roel Wuyts, Alexandre Bergel, Oscar Nierstrasz	User-changeable visibility: resolving unanticipated name clashes in traits.	OOPSLA	2007	DBLP DOI BibTeX RDF	composition, information hiding, encapsulation, traits, dynamic typing
15	Takumi Endo	TypeTrace.	ACM Multimedia	2007	DBLP DOI BibTeX RDF	typing, installation, media art
15	Jean-Vincent Loddo, Luca Saiu	Status report: marionnet or "how to implement a virtual network laboratory in six months and be happy".	ML	2007	DBLP DOI BibTeX RDF	GUI, virtual machine, emulation, OCaml, static typing, user mode linux
15	Andreas Rossberg	The missing link: dynamic components for ML.	ICFP	2006	DBLP DOI BibTeX RDF	pickling, components, distributed programming, modules, separate compilation, dynamic typing, dynamic linking, units
15	Martín Abadi, Bruno Blanchet	Analyzing security protocols with secrecy types and logic programs.	J. ACM	2005	DBLP DOI BibTeX RDF	secrecy properties, logic programming, Cryptographic protocols, typing, process calculi
15	Tova Milo, Serge Abiteboul, Bernd Amann, Omar Benjelloun, Frederic Dang Ngoc	Exchanging intensional XML data.	ACM Trans. Database Syst.	2005	DBLP DOI BibTeX RDF	intensional information, Web services, XML, typing, Data exchange
15	Martin Berger 0001, Kohei Honda 0001, Nobuko Yoshida	A logical analysis of aliasing in imperative higher-order functions.	ICFP	2005	DBLP DOI BibTeX RDF	functional programming, typing, aliasing, hoare-logics, ?-calculus, pointers, modalities
15	Jean-Louis Colaço, Bruno Pagano, Marc Pouzet	A conservative extension of synchronous data-flow with state machines.	EMSOFT	2005	DBLP DOI BibTeX RDF	clock calculus, compilation, typing, heterogeneous systems, synchronous languages
15	Albert Cohen 0001, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence Plateau, Marc Pouzet	Synchronization of periodic clocks.	EMSOFT	2005	DBLP DOI BibTeX RDF	high-performance video streaming, type inference and sub-typing, synchronous language, correctness by construction
15	Giuseppe Castagna, Alain Frisch	A gentle introduction to semantic subtyping.	PPDP	2005	DBLP DOI BibTeX RDF	negation types, typing, subtyping, intersection, union
15	Nathanael Schärli, Andrew P. Black, Stéphane Ducasse	Object-oriented encapsulation for dynamically typed languages.	OOPSLA	2004	DBLP DOI BibTeX RDF	encapsulation policies, information hiding, smalltalk, encapsulation, dynamic typing
15	Yoav Zibin, Joseph Gil	Incremental algorithms for dispatching in dynamically typed languages.	POPL	2003	DBLP DOI BibTeX RDF	hierarchy, CT, message, incremental, dispatch, dynamic-typing
15	Yuri Leontiev, M. Tamer Özsu, Duane Szafron	On type systems for object-oriented database programming languages.	ACM Comput. Surv.	2002	DBLP DOI BibTeX RDF	OODB, OODBPL, object-oriented database programming language, typing, type checking
15	Robert Bruce Findler, Matthias Felleisen	Contracts for higher-order functions.	ICFP	2002	DBLP DOI BibTeX RDF	predicate typing, solfware reliability, contracts, behavioral specifications, higher-order functions
15	Michael Priestley, David Schell	Specialization in DITA: technology, process, & policy.	SIGDOC	2002	DBLP DOI BibTeX RDF	Darwin, XML architectures, information typing, ontologies, XML, policy, process, information management, XSLT, information architecture, domains, specialization, DITA
15	Karl Kroemer	Keyboards and keying - An annotated bibliography of the literature from 1878 to 1999.	Univers. Access Inf. Soc.	2001	DBLP DOI BibTeX RDF	Cumulative trauma disorders, Typing, Ergonomics, Keyboards, Keyboarding
15	Dominic Duggan	Type-Based Hot Swapping of Running Modules.	ICFP	2001	DBLP DOI BibTeX RDF	module interconnection languages, dynamic typing, shared libraries, hot swapping
15	Klaus Aehlig, Helmut Schwichtenberg	A Syntactical Analysis of Non-Size-Increasing Polynomial Time Computation.	LICS	2000	DBLP DOI BibTeX RDF	affine linear typing, polynomial time computation, lambda-calculus
15	Stephanie Weirich	Type-safe cast: functional pearl.	ICFP	2000	DBLP DOI BibTeX RDF	intensional type analysis, Haskell, type classes, dynamic typing, PEARL, ad-hoc polymorphism
15	Brendan P. Mahony	The Least Conjunctive Refinement and Promotion in the Refinement Calculus.	Formal Aspects Comput.	1999	DBLP DOI BibTeX RDF	Frame typing, Z, Refinement calculus, Promotion, Predicate transformers
15	Cormac Flanagan, Matthias Felleisen	Componential Set-Based Analysis.	ACM Trans. Program. Lang. Syst.	1999	DBLP DOI BibTeX RDF	soft typing, program analysis, scheme, static debugging, constraint-based analysis
15	Reinhard Kreutz, Brigitte Euler, Klaus Spitzer 0001	No Longer Lost in WWW-Based Hyperspaces.	Hypertext	1999	DBLP DOI BibTeX RDF	Java, Java, WWW, navigation, HTML, HTML, preview, guided tours, document maps, link typing
15	Gary T. Leavens, Todd D. Millstein	Multiple Dispatch as Dispatch on Tuples.	OOPSLA	1998	DBLP DOI BibTeX RDF	single dispatch, semantics, typing, language design, generic functions, tuple, multimethods, multiple dispatch, binary methods
15	Andrew K. Wright, Robert Cartwright	A Practical Soft Type System for Scheme.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	soft typing, SCHEME, run-time checks
15	Maria-Virginia Aponte, Roberto Di Cosmo	Type Isomorphisms for Module Signatures.	PLILP	1996	DBLP DOI BibTeX RDF	typing and structuring systems, retrieval of functions in function libraries, programming environments, ML, module systems
15	Peter J. McAlindon, Kay M. Stanney	The Keybowl: An Ergonomically Designed Document Processing Device.	International ACM Conference on Assistive Technologies	1996	DBLP DOI BibTeX RDF	carpal tunnel syndrome, cumulative trauma, typing, keyboard, handicap
15	Michael Kifer, Georg Lausen, James Wu	Logical Foundations of Object-Oriented and Frame-Based Languages.	J. ACM	1995	DBLP DOI BibTeX RDF	frame-based languages, nonmonotonic inheritance, semantics, object-oriented programming, logic programming, deductive databases, typing, proof theory
15	O. Deux	The Story of O2.	IEEE Trans. Knowl. Data Eng.	1990	DBLP DOI BibTeX RDF	O/sub 2/, disk management, overriding, user interface generation tools, complete programming environment, multilanguage paradigm, dual mode, workstation/server configuration, prototype performance, object-oriented programming, programming environment, DBMS, database management systems, query language, query languages, completeness, inheritance, typing, extensibility, sharing, persistence, encapsulation, complex objects, object-oriented database system, object identity
15	Ronald Morrison, Alan Dearle, Chris D. Marlin	Adaptive Data Stores.	Australian Joint Conference on Artificial Intelligence	1988	DBLP DOI BibTeX RDF	strong typing, adaptive systems, persistence, production systems, dynamic binding
15	Asela Gunawardana, Tim Paek, Christopher Meek	Usability guided key-target resizing for soft keyboards.	IUI	2010	DBLP DOI BibTeX RDF	source-channel key-target resizing, touch model, language model
15	Tobias Wrigstad, Francesco Zappa Nardelli, Sylvain Lebresne, Johan Östlund, Jan Vitek	Integrating typed and untyped code in a scripting language.	POPL	2010	DBLP DOI BibTeX RDF	compilers, semantics, object-orientation, types
15	Hector Ouilhet	Google Sky Map: using your phone as an interface.	Mobile HCI	2010	DBLP DOI BibTeX RDF
15	Martin Klíma, Václav Slovácek	Vector Keyboard for Touch Screen Devices.	HCI (15)	2009	DBLP DOI BibTeX RDF	vector keyboard, QWERT, PDA, touch screen, virtual keyboard
15	Amal Ahmed 0001, Derek Dreyer, Andreas Rossberg	State-dependent representation independence.	POPL	2009	DBLP DOI BibTeX RDF	local state, representation independence, abstract data types, existential types, step-indexed logical relations
15	Noam Zeilberger	Refinement types and computational duality.	PLPV	2009	DBLP DOI BibTeX RDF	duality, effects, intersection types, focusing, union types
15	Surajit Chaudhuri, Raghav Kaushik	Extending autocompletion to tolerate errors.	SIGMOD Conference	2009	DBLP DOI BibTeX RDF	edit distance, autocompletion
15	Lin Chen 0015, Baowen Xu, Tianlin Zhou, Xiaoyu Zhou	A Constraint Based Bug Checking Approach for Python.	COMPSAC (2)	2009	DBLP DOI BibTeX RDF
15	Benjamin Delaware, William R. Cook, Don S. Batory	Fitting the pieces together: a machine-checked model of safe composition.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	feature models, product lines, type safety
15	Alexander Hoffmann, Daniel Spelmezan, Jan O. Borchers	TypeRight: a keyboard with tactile error prevention.	CHI	2009	DBLP DOI BibTeX RDF	adopting input device, haptic, text entry, tactile feedback, error prevention
15	Benjamin Delaware, William R. Cook, Don S. Batory	A machine-checked model of safe composition.	FOAL	2009	DBLP DOI BibTeX RDF	feature model, product lines, type safety
15	Simon Bliudze, Joseph Sifakis	The Algebra of Connectors - Structuring Interaction in BIP.	IEEE Trans. Computers	2008	DBLP DOI BibTeX RDF
15	Cédric Fournet, Tamara Rezk	Cryptographically sound implementations for typed information-flow security.	POPL	2008	DBLP DOI BibTeX RDF	probabilistic programs, cryptography, compilers, integrity, type systems, computational model, confidentiality, non-interference, secure information flow
15	James Cheney	Regular Expression Subtyping for XML Query and Update Languages.	ESOP	2008	DBLP DOI BibTeX RDF
15	Tom Schrijvers, Vítor Santos Costa, Jan Wielemaker, Bart Demoen	Towards Typed Prolog.	ICLP	2008	DBLP DOI BibTeX RDF
15	Kevin S. Killourhy, Roy A. Maxion	The Effect of Clock Resolution on Keystroke Dynamics.	RAID	2008	DBLP DOI BibTeX RDF	Insider-attack detection, Digital biometrics, Anomaly detection, Keystroke dynamics
15	Hailong Wang, Zong Min Ma 0001, Li Yan 0001, Jingwei Cheng	A Unified Formalism for Fuzzy Data Types Representation.	FSKD (1)	2008	DBLP DOI BibTeX RDF
15	Bruno De Fraine, Mario Südholt, Viviane Jonckers	StrongAspectJ: flexible and safe pointcut/advice bindings.	AOSD	2008	DBLP DOI BibTeX RDF
15	Davide Balzarotti, Marco Cova, Giovanni Vigna	ClearShot: Eavesdropping on Keyboard Input from Video.	SP	2008	DBLP DOI BibTeX RDF
15	Oleg Spakov, Kari-Jouko Räihä	KiEV: a tool for visualization of reading and writing processes in translation of text.	ETRA	2008	DBLP DOI BibTeX RDF	gaze and keystroke data visualization, gaze data analysis, gaze-to-word mapping, translation analysis, eye tracking
15	Selina Sharmin, Oleg Spakov, Kari-Jouko Räihä, Arnt Lykke Jakobsen	Effects of time pressure and text complexity on translators' fixations.	ETRA	2008	DBLP DOI BibTeX RDF	fixation count, fixation duration, text complexity, time pressure, eye tracking, translation
15	Nathan L. Clarke, Steven Furnell	Authenticating mobile phone users using keystroke analysis.	Int. J. Inf. Sec.	2007	DBLP DOI BibTeX RDF	Keystroke analysis, Authentication, Mobile devices, Biometrics, Keystroke dynamics
15	Cheng-Huang Jiang, Shiuhpyng Shieh, Jen-Chien Liu	Keystroke statistical learning model for web authentication.	AsiaCCS	2007	DBLP DOI BibTeX RDF	keystroke, hidden Markov model, statistical learning theory, Gaussian model, web authentication
15	Hiroyuki Umemuro	Beyond the Constraints of QWERTY Keyboard: Challenges to Provide Alternative Input Methods for Japanese Older Adults.	HCI (5)	2007	DBLP DOI BibTeX RDF	interface, elderly, keyboard, touchscreen, gerontechnology
15	Erik Meijer 0001	Visual Basic.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF
15	Bogdan Aman, Gabriel Ciobanu	Mobile Ambients with Timers and Types.	ICTAC	2007	DBLP DOI BibTeX RDF
15	Leo Spalteholz, Kin Fun Li, Nigel Livingston	Generating efficient labels to facilitate web accessibility.	WWW	2007	DBLP DOI BibTeX RDF	single switch, web accessibility, labeling, web navigation
15	Ye Kyaw Thu, Yoshiyori Urano	Positional mapping: keyboard mapping based on characters writing positions for mobile devices.	ICMI	2007	DBLP DOI BibTeX RDF	Bangla language, Myanmar language, keypad layout, mobile phone, text entry, soft keyboard, stylus input, pen-based
15	Timo Salminen, Simo Hosio, Jukka Riekki	Middleware based user interface migration: implementation and evaluation.	Mobility Conference	2007	DBLP DOI BibTeX RDF	ubiquitous middleware, user evaluation, UI migration
15	Sungwoo Park	Type-safe higher-order channels in ML-like languages.	ICFP	2007	DBLP DOI BibTeX RDF	channel locality, distributed languages, higher-order channels, parallel languages
15	Simon Bliudze, Joseph Sifakis	The algebra of connectors: structuring interaction in BIP.	EMSOFT	2007	DBLP DOI BibTeX RDF
15	Jae-Wook Lee, Sung-Soon Choi, Byung Ro Moon	An evolutionary keystroke authentication based on ellipsoidal hypothesis space.	GECCO	2007	DBLP DOI BibTeX RDF	keystroke biometrics, biometric authentication, keystroke dynamics, identity verification
15	Simon Bliudze, Joseph Sifakis	Causal Semantics for the Algebra of Connectors.	FMCO	2007	DBLP DOI BibTeX RDF
15	Terence Sim, Rajkumar Janakiraman	Are Digraphs Good for Free-Text Keystroke Dynamics?	CVPR	2007	DBLP DOI BibTeX RDF
15	Louis-Julien Guillemette, Stefan Monnier	A type-preserving closure conversion in haskell.	Haskell	2007	DBLP DOI BibTeX RDF	compilation, higher-order abstract syntax, typed assembly language, de bruijn
15	Anil Madhavapeddy, Alex Ho, Tim Deegan, David J. Scott, Ripduman Sohan	Melange: creating a "functional" internet.	EuroSys	2007	DBLP DOI BibTeX RDF
15	Atsushi Igarashi, Mirko Viroli	Variant parametric types: A flexible subtyping scheme for generics.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	Generic classes, Java, subtyping, language design, variance, language semantics
15	Wim Martens, Frank Neven, Thomas Schwentick, Geert Jan Bex	Expressiveness and complexity of XML Schema.	ACM Trans. Database Syst.	2006	DBLP DOI BibTeX RDF	XML, validation, XML Schema
15	Kris Venstermans, Lieven Eeckhout, Koen De Bosschere	Space-Efficient 64-bit Java Objects through Selective Typed Virtual Addressing.	CGO	2006	DBLP DOI BibTeX RDF