|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1636 occurrences of 900 keywords
|
|
|
Results
Found 2449 publication records. Showing 2449 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
21 | Patrick Baillot, Kazushige Terui |
A Feasible Algorithm for Typing in Elementary Affine Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings, pp. 55-70, 2005, Springer, 3-540-25593-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Edward Clarkson, James Clawson, Kent Lyons, Thad Starner |
An empirical study of typing rates on mini-QWERTY keyboards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Extended Abstracts Proceedings of the 2005 Conference on Human Factors in Computing Systems, CHI 2005, Portland, Oregon, USA, April 2-7, 2005, pp. 1288-1291, 2005, ACM, 1-59593-002-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 6th International Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings, pp. 224-238, 2004, Springer, 3-540-22253-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGI ![In: Grammatical Inference: Algorithms and Applications, 7th International Colloquium, ICGI 2004, Athens, Greece, October 11-13, 2004, Proceedings, pp. 115-126, 2004, Springer, 3-540-23410-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings, pp. 294-309, 2004, Springer, 3-540-21313-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONIELECOMP ![In: 14th International Conference on Electronics, Communications, and Computers (CONIELECOMP 2004), 16-18 February 2004, Veracruz, Mexico, pp. 264-271, 2004, IEEE Computer Society, 0-7695-2074-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Shuji Senda, Kyosuke Nishiyama, Toshiyuki Asahi, Keiji Yamada |
Camera-Typing Interface for Ubiquitous Information Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PerCom ![In: Proceedings of the Second IEEE International Conference on Pervasive Computing and Communications (PerCom 2004), 14-17 March 2004, Orlando, FL, USA, pp. 366-370, 2004, IEEE Computer Society, 0-7695-2090-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCHP ![In: Computers Helping People with Special Needs, 9th International Conference, ICCHP 2004, Paris, France, July 7-9, 2004, Proceedings, pp. 813-819, 2004, Springer, 3-540-22334-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Chris Houser, Patricia Thornton |
Japanese College Students' Typing Speed on Mobile Devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WMTE ![In: Proceedings 2nd IEEE International Workshop on Wireless and Mobile Technologies in Education, WMTE 2004, Mobile Support for Learning Communities, Taoyuan, Taiwan, March 23-25, 2004, pp. 129-133, 2004, IEEE Computer Society, 0-7695-1989-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Renate Klempien-Hinrichs, Hans-Jörg Kreowski, Sabine Kuske |
Typing of Graph Transformation Units. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations, Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 2, 2004, Proceedings, pp. 112-127, 2004, Springer, 3-540-23207-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Neil M. Goldman |
Ontology-Oriented Programming: Static Typing for the Inconsistent Programmer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC ![In: The Semantic Web - ISWC 2003, Second International Semantic Web Conference, Sanibel Island, FL, USA, October 20-23, 2003, Proceedings, pp. 850-865, 2003, Springer, 3-540-20362-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Andrey Koltashev |
A Practical Approach to Software Portability Based on Strong Typing and Architectural Stratification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JMLC ![In: Modular Programming Languages, Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003, Proceedings, pp. 98-101, 2003, Springer, 3-540-40796-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Andrew D. Gordon 0001, Riccardo Pucella |
Validating a Web service security abstraction by typing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
XML Security ![In: Proceedings of the 2002 ACM Workshop on XML Security, Fairfax, VA, USA, November 22, 2002, pp. 18-29, 2002, ACM, 1-58113-632-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCHP ![In: Computers Helping People with Special Needs, 8th International Conference, ICCHP 2002, Linz, Austria, July 15-20, Proceedings, pp. 241-242, 2002, Springer, 3-540-43904-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Andrew D. Gordon 0001, Don Syme |
Typing a multi-language intermediate code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL 2001: The 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, London, UK, January 17-19, 2001, pp. 248-260, 2001, ACM, 1-58113-336-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Michael Priestley |
Writing, designing, and processing information in the Darwin information typing architecture (DITA). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGDOC ![In: The Nineteenth Annual International Conference of Computer Documentation: Communicating in the New Millennium, SIGDOC 2001, Santa Fe, New Mexico, USA, October 21-24, 2001, pp. 226, 2001, ACM, 1-58113-295-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
XML |
21 | Giuseppe Castagna, Giorgio Ghelli, Francesco Zappa Nardelli |
Typing Mobility in the Seal Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2001 - Concurrency Theory, 12th International Conference, Aalborg, Denmark, August 20-25, 2001, Proceedings, pp. 82-101, 2001, Springer, 3-540-42497-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Ferruccio Damiani |
Typing Local Definitions and Conditional Expressions with Rank 2 Intersection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures, Third International Conference, FOSSACS 2000, Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, pp. 82-97, 2000, Springer, 3-540-67257-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Harald Ganzinger, Christoph Meyer 0001, Christoph Weidenbach |
Soft Typing for Ordered Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-14, 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997, Proceedings, pp. 321-335, 1997, Springer, 3-540-63104-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the Fourth ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT1996, San Francisco, California, USA, October 16-18, 1996, pp. 24-32, 1996, ACM, 978-0-89791-797-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
C++ |
21 | Philippe de Groote |
Defining Lambda-Typed Lambda-Calculi by Axiomatizing the Typing Relation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 93, 10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993, Proceedings, pp. 712-723, 1993, Springer, 3-540-56503-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
21 | Andrew K. Wright |
Typing References by Effect Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: ESOP '92, 4th European Symposium on Programming, Rennes, France, February 26-28, 1992, Proceedings, pp. 473-491, 1992, Springer, 3-540-55253-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
21 | Florian Matthes, Atsushi Ohori, Joachim W. Schmidt |
Typing Schemes for Objects with Locality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
East/West Database Workshop ![In: Next Generation Information System Technology, First Interational East/West Data Base Workshop, Kiev, USSR, October 9-12, 1990, Proceedings, pp. 106-123, 1990, Springer, 3-540-54141-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
21 | Richard B. Kieburtz |
Precise Typing of Abstract Data Type Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Tenth Annual ACM Symposium on Principles of Programming Languages, Austin, Texas, USA, January 1983, pp. 109-116, 1983, ACM Press, 0-89791-090-7. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
15 | Azer Bestavros, Assaf J. Kfoury, Andrei Lapets, Michael J. Ocean |
Safe compositional network sketches: formal framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2010, Stockholm, Sweden, April 12-15, 2010, pp. 231-241, 2010, ACM, 978-1-60558-955-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 28th International Conference on Human Factors in Computing Systems, CHI 2010, Atlanta, Georgia, USA, April 10-15, 2010, pp. 413-422, 2010, ACM, 978-1-60558-929-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETRA ![In: Proceedings of the 2010 Symposium on Eye-Tracking Research & Applications, ETRA 2010, Austin, Texas, USA, March 22-24, 2010, pp. 271-274, 2010, ACM, 978-1-60558-994-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
gaze interfaces, gaze typing, context switching |
15 | Miltiadis Kokkonidis |
First-Order Glue. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 17(1), pp. 43-68, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HotSWUp ![In: Proceedings of the 1st ACM Workshop on Hot Topics in Software Upgrades, HotSWUp 2008, Nashville, TN, USA, October 20, 2008., 2008, ACM, 978-1-60558-304-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 30(1), pp. 5, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 29(6), pp. 31, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TGC ![In: Trustworthy Global Computing, Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers, pp. 169-185, 2007, Springer, 978-3-540-78662-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada, pp. 171-190, 2007, ACM, 978-1-59593-786-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
composition, information hiding, encapsulation, traits, dynamic typing |
15 | Takumi Endo |
TypeTrace. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Multimedia ![In: Proceedings of the 15th International Conference on Multimedia 2007, Augsburg, Germany, September 24-29, 2007, pp. 371-372, 2007, ACM, 978-1-59593-702-5. The full citation details ...](Pics/full.jpeg) |
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". ![Search on Bibsonomy](Pics/bibsonomy.png) |
ML ![In: Proceedings of the ACM Workshop on ML, 2007, Freiburg, Germany, October 5, 2007, pp. 59-70, 2007, ACM, 978-1-59593-676-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, ICFP 2006, Portland, Oregon, USA, September 16-21, 2006, pp. 99-110, 2006, ACM, 1-59593-309-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 52(1), pp. 102-146, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 30(1), pp. 1-40, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, Tallinn, Estonia, September 26-28, 2005, pp. 280-293, 2005, ACM, 1-59593-064-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: EMSOFT 2005, September 18-22, 2005, Jersey City, NJ, USA, 5th ACM International Conference On Embedded Software, Proceedings, pp. 173-182, 2005, ACM, 1-59593-091-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: EMSOFT 2005, September 18-22, 2005, Jersey City, NJ, USA, 5th ACM International Conference On Embedded Software, Proceedings, pp. 339-342, 2005, ACM, 1-59593-091-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 11-13 2005, Lisbon, Portugal, pp. 198-199, 2005, ACM, 1-59593-090-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2004, October 24-28, 2004, Vancouver, BC, Canada, pp. 130-149, 2004, ACM, 1-58113-831-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL 2003: The 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, New Orleans, Louisisana, USA, January 15-17, 2003, pp. 126-138, 2003, ACM, 1-58113-628-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Comput. Surv. ![In: ACM Comput. Surv. 34(4), pp. 409-449, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming (ICFP '02), Pittsburgh, Pennsylvania, USA, October 4-6, 2002., pp. 48-59, 2002, ACM, 1-58113-487-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGDOC ![In: Proceedings of the 20st annual international conference on Documentation, SIGDOC 2002, Toronto, Ontario, Canada, October 20-23, 2002, pp. 164-176, 2002, ACM, 1-58113-543-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Univers. Access Inf. Soc. ![In: Univers. Access Inf. Soc. 1(2), pp. 99-160, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Cumulative trauma disorders, Typing, Ergonomics, Keyboards, Keyboarding |
15 | Dominic Duggan |
Type-Based Hot Swapping of Running Modules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP '01), Firenze (Florence), Italy, September 3-5, 2001., pp. 62-73, 2001, ACM, 1-58113-415-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 15th Annual IEEE Symposium on Logic in Computer Science, Santa Barbara, California, USA, June 26-29, 2000, pp. 84-91, 2000, IEEE Computer Society, 0-7695-0725-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
affine linear typing, polynomial time computation, lambda-calculus |
15 | Stephanie Weirich |
Type-safe cast: functional pearl. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), Montreal, Canada, September 18-21, 2000., pp. 58-67, 2000, ACM, 1-58113-202-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 11(1), pp. 75-105, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Frame typing, Z, Refinement calculus, Promotion, Predicate transformers |
15 | Cormac Flanagan, Matthias Felleisen |
Componential Set-Based Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 21(2), pp. 370-416, 1999. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hypertext ![In: HYPERTEXT '99, Proceedings of the 10th ACM Conference on Hypertext and Hypermedia: Returning to Our Diverse Roots, February 21-25, 1999, Darmstadt, Germany, pp. 133-134, 1999, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 1998 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages & Applications, OOPSLA 1998, Vancouver, British Columbia, Canada, October 18-22, 1998., pp. 374-387, 1998, ACM, 1-58113-005-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 19(1), pp. 87-152, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
soft typing, SCHEME, run-time checks |
15 | Maria-Virginia Aponte, Roberto Di Cosmo |
Type Isomorphisms for Module Signatures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP'96, Aachen, Germany, September 24-27, 1996, Proceedings, pp. 334-346, 1996, Springer, 3-540-61756-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International ACM Conference on Assistive Technologies ![In: Proceedings of the Second Annual ACM Conference on Assistive Technologies, ASSETS 1996, Vancouver, BC, Canada, April 11-12, 1996, pp. 86-93, 1996, ACM, 0-89791-776-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 42(4), pp. 741-843, 1995. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 2(1), pp. 91-108, 1990. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Joint Conference on Artificial Intelligence ![In: AI '88: 2nd Australian Joint Artificial Intelligence Conference, Adelaide, Australia, November 15-18, 1988, Proceedings, pp. 214-224, 1988, Springer, 3-540-52062-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IUI ![In: Proceedings of the 15th International Conference on Intelligent User Interfaces, IUI 2010, Hong Kong, China, February 7-10, 2010, pp. 111-118, 2010, ACM, 978-1-60558-515-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010, pp. 377-388, 2010, ACM, 978-1-60558-479-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
compilers, semantics, object-orientation, types |
15 | Hector Ouilhet |
Google Sky Map: using your phone as an interface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mobile HCI ![In: Proceedings of the 12th Conference on Human-Computer Interaction with Mobile Devices and Services, Mobile HCI 2010, Lisbon, Portugal, September 7-10, 2010, pp. 419-422, 2010, ACM, 978-1-60558-835-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Martin Klíma, Václav Slovácek |
Vector Keyboard for Touch Screen Devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (15) ![In: Ergonomics and Health Aspects of Work with Computers, International Conference, EHAWC 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, pp. 250-256, 2009, Springer, 978-3-642-02730-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009, pp. 340-353, 2009, ACM, 978-1-60558-379-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLPV ![In: Proceedings of the 3rd ACM Workshop Programming Languages meets Program Verification, PLPV 2009, Savannah, GA, USA, January 20, 2009, pp. 15-26, 2009, ACM, 978-1-60558-330-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
duality, effects, intersection types, focusing, union types |
15 | Surajit Chaudhuri, Raghav Kaushik |
Extending autocompletion to tolerate errors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the ACM SIGMOD International Conference on Management of Data, SIGMOD 2009, Providence, Rhode Island, USA, June 29 - July 2, 2009, pp. 707-718, 2009, ACM, 978-1-60558-551-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (2) ![In: Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2009, Seattle, Washington, USA, July 20-24, 2009. Volume 2, pp. 306-311, 2009, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009, Amsterdam, The Netherlands, August 24-28, 2009, pp. 243-252, 2009, ACM, 978-1-60558-001-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 27th International Conference on Human Factors in Computing Systems, CHI 2009, Boston, MA, USA, April 4-9, 2009, pp. 2265-2268, 2009, ACM, 978-1-60558-246-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOAL ![In: Proceedings of the 8th Workshop on Foundations of Aspect-Oriented Languages, FOAL 2009, Charlottesville, Virginia, USA, March 2, 2009, pp. 31-35, 2009, ACM, 978-1-60558-452-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
feature model, product lines, type safety |
15 | Simon Bliudze, Joseph Sifakis |
The Algebra of Connectors - Structuring Interaction in BIP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 57(10), pp. 1315-1330, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Cédric Fournet, Tamara Rezk |
Cryptographically sound implementations for typed information-flow security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008, San Francisco, California, USA, January 7-12, 2008, pp. 323-335, 2008, ACM, 978-1-59593-689-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings, pp. 32-47, 2008, Springer, 978-3-540-78738-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Tom Schrijvers, Vítor Santos Costa, Jan Wielemaker, Bart Demoen |
Towards Typed Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings, pp. 693-697, 2008, Springer, 978-3-540-89981-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Kevin S. Killourhy, Roy A. Maxion |
The Effect of Clock Resolution on Keystroke Dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAID ![In: Recent Advances in Intrusion Detection, 11th International Symposium, RAID 2008, Cambridge, MA, USA, September 15-17, 2008. Proceedings, pp. 331-350, 2008, Springer, 978-3-540-87402-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD (1) ![In: Fifth International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2008, 18-20 October 2008, Jinan, Shandong, China, Proceedings, Volume 1, pp. 167-171, 2008, IEEE Computer Society, 978-0-7695-3305-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Bruno De Fraine, Mario Südholt, Viviane Jonckers |
StrongAspectJ: flexible and safe pointcut/advice bindings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOSD ![In: Proceedings of the 7th International Conference on Aspect-Oriented Software Development, AOSD 2008, Brussels, Belgium, March 31 - April 4, 2008, pp. 60-71, 2008, ACM, 978-1-60558-044-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Davide Balzarotti, Marco Cova, Giovanni Vigna |
ClearShot: Eavesdropping on Keyboard Input from Video. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SP ![In: 2008 IEEE Symposium on Security and Privacy (SP 2008), 18-21 May 2008, Oakland, California, USA, pp. 170-183, 2008, IEEE Computer Society, 978-0-7695-3168-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETRA ![In: Proceedings of the Eye Tracking Research & Application Symposium, ETRA 2008, Savannah, Georgia, USA, March 26-28, 2008, pp. 107-110, 2008, ACM, 978-1-59593-982-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETRA ![In: Proceedings of the Eye Tracking Research & Application Symposium, ETRA 2008, Savannah, Georgia, USA, March 26-28, 2008, pp. 123-126, 2008, ACM, 978-1-59593-982-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Inf. Sec. ![In: Int. J. Inf. Sec. 6(1), pp. 1-14, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AsiaCCS ![In: Proceedings of the 2007 ACM Symposium on Information, Computer and Communications Security, ASIACCS 2007, Singapore, March 20-22, 2007, pp. 359-361, 2007, ACM, 1-59593-574-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (5) ![In: Universal Access in Human Computer Interaction. Coping with Diversity, 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I, pp. 812-817, 2007, Springer, 978-3-540-73278-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
interface, elderly, keyboard, touchscreen, gerontechnology |
15 | Erik Meijer 0001 |
Visual Basic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada, pp. 860-861, 2007, ACM, 978-1-59593-865-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Bogdan Aman, Gabriel Ciobanu |
Mobile Ambients with Timers and Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2007, 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings, pp. 50-63, 2007, Springer, 978-3-540-75290-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Leo Spalteholz, Kin Fun Li, Nigel Livingston |
Generating efficient labels to facilitate web accessibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the 16th International Conference on World Wide Web, WWW 2007, Banff, Alberta, Canada, May 8-12, 2007, pp. 1319-1320, 2007, ACM, 978-1-59593-654-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMI ![In: Proceedings of the 9th International Conference on Multimodal Interfaces, ICMI 2007, Nagoya, Aichi, Japan, November 12-15, 2007, pp. 110-117, 2007, ACM, 978-1-59593-817-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mobility Conference ![In: Proceedings of the 4th International Conference on Mobile Technology, Applications, and Systems and the 1st International Symposium on Computer Human Interaction in Mobile Technology, Mobility Conference 2007, Singapore, September 10-12, 2007, pp. 358-363, 2007, ACM, 978-1-59593-819-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
ubiquitous middleware, user evaluation, UI migration |
15 | Sungwoo Park |
Type-safe higher-order channels in ML-like languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007, Freiburg, Germany, October 1-3, 2007, pp. 191-202, 2007, ACM, 978-1-59593-815-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the 7th ACM & IEEE International conference on Embedded software, EMSOFT 2007, September 30 - October 3, 2007, Salzburg, Austria, pp. 11-20, 2007, ACM, 978-1-59593-825-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Jae-Wook Lee, Sung-Soon Choi, Byung Ro Moon |
An evolutionary keystroke authentication based on ellipsoidal hypothesis space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2007, Proceedings, London, England, UK, July 7-11, 2007, pp. 2090-2097, 2007, ACM, 978-1-59593-697-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCO ![In: Formal Methods for Components and Objects, 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures, pp. 179-199, 2007, Springer, 978-3-540-92187-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Terence Sim, Rajkumar Janakiraman |
Are Digraphs Good for Free-Text Keystroke Dynamics? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR ![In: 2007 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR 2007), 18-23 June 2007, Minneapolis, Minnesota, USA, 2007, IEEE Computer Society, 1-4244-1179-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Louis-Julien Guillemette, Stefan Monnier |
A type-preserving closure conversion in haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2007, Freiburg, Germany, September 30, 2007, pp. 83-92, 2007, ACM, 978-1-59593-674-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroSys ![In: Proceedings of the 2007 EuroSys Conference, Lisbon, Portugal, March 21-23, 2007, pp. 101-114, 2007, ACM, 978-1-59593-636-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Atsushi Igarashi, Mirko Viroli |
Variant parametric types: A flexible subtyping scheme for generics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 28(5), pp. 795-847, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 31(3), pp. 770-813, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CGO ![In: Fourth IEEE/ACM International Symposium on Code Generation and Optimization (CGO 2006), 26-29 March 2006, New York, New York, USA, pp. 76-86, 2006, IEEE Computer Society, 0-7695-2499-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
Displaying result #201 - #300 of 2449 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|