|
|
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. |
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 |
|
Displaying result #201 - #300 of 2449 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|