|
|
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 |
28 | Wlodzimierz Drabent |
Towards More Precise Typing Rules for. |
PPSWR |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Min Zhang, Guoqiang Li 0001, Yuxi Fu |
Secrecy of Signals by Typing in Signal Transduction. |
ICNC (2) |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Georg Gottlob, Christoph Koch 0001, Reinhard Pichler, Luc Segoufin |
The complexity of XPath query evaluation and XML typing. |
J. ACM |
2005 |
DBLP DOI BibTeX RDF |
LOGCFL, XML, Complexity, XPath, DTD |
28 | Gérard Boudol |
On Typing Information Flow. |
ICTAC |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Sacha Berger, Emmanuel Coquery, Wlodzimierz Drabent, Artur Wilk |
Descriptive Typing Rules for Xcerpt. |
PPSWR |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Rocío Santillán Rodríguez, Carolina Yolanda Castañeda Roldán, Javier Garcés Eisele, Ma. del Pilar Gómez Gil, Mauricio Javier Osorio Galindo |
Algorithms for the Typing of Related DNA Sequences. |
CONIELECOMP |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Min Zhang, Guoqiang Li 0001, Yuxi Fu, Zhizhou Zhang 0003, Lin He 0007 |
Typing Aberrance in Signal Transduction. |
ICNC (3) |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Wim Martens, Frank Neven, Thomas Schwentick |
Which XML Schemas Admit 1-Pass Preorder Typing? |
ICDT |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Jill Coffin |
Leveraging Typing Phenomena to Design One-Handed Wearable Keyboards. |
ISWC |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Lívia C. F. Araújo, Luiz H. R. Sucupira, Miguel Gustavo Lizárraga, Lee Luan Ling, João Baptista T. Yabu-uti |
User Authentication through Typing Biometrics Features. |
ICBA |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Dan Witzner Hansen, Arthur E. C. Pece |
Eye Typing off the Shelf. |
CVPR (2) |
2004 |
DBLP DOI BibTeX RDF |
Expectation Maximisation, gaze calibration, Components-off-the-shelf, lower bound, Eye tracking, Particle filter |
28 | Carsten Mehring, Falko Kuester, Kunal Deep Singh, Michelle Chen |
KITTY: Keyboard Independent Touch Typing in VR. |
VR |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Sven-Olof Nyström |
A soft-typing system for Erlang. |
Erlang Workshop |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Michal Konecný |
Typing with Conditions and Guarantees for Functional In-place Update. |
TYPES |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Dan Witzner Hansen, John Paulin Hansen, Mads Nielsen, Anders Sewerin Johansen, Mikkel B. Stegmann |
Eye Typing using Markov and Active Appearance Models. |
WACV |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Bruce Howard, Susie Howard |
Lightglove: Wrist-Worn Virtual Typing and Pointing. |
ISWC |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Rémy |
Implicit Typing à la ML for the Join-Calculus. |
CONCUR |
1997 |
DBLP DOI BibTeX RDF |
|
28 | Maria-Virginia Aponte |
Extending Record Typing to Type Parametric Modules with Sharing. |
POPL |
1993 |
DBLP DOI BibTeX RDF |
Standard ML |
28 | Xavier Leroy |
Unboxed Objects and Polymorphic Typing. |
POPL |
1992 |
DBLP DOI BibTeX RDF |
ML |
28 | Kyung-Goo Doh, David A. Schmidt |
Extraction of Strong Typing Laws from Action Semantics Definitions. |
ESOP |
1992 |
DBLP DOI BibTeX RDF |
|
28 | Paris C. Kanellakis, John C. Mitchell |
Polymorphic Unification and ML Typing. |
POPL |
1989 |
DBLP DOI BibTeX RDF |
ML |
26 | Yunlei Ren, Yan Zhang, Zhitao Liu, Ning Xie 0003 |
Eye-Hand Typing: Eye Gaze Assisted Finger Typing via Bayesian Processes in AR. |
IEEE Trans. Vis. Comput. Graph. |
2024 |
DBLP DOI BibTeX RDF |
|
26 | Mobasshira Zaman, Jaejin Hwang |
Effects of Virtual Hand Representation on the Typing Performance, Upper Extremity Angle, and Neck Muscle Activity during Virtual Reality Typing. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
26 | Florian Lehmann, Itto Kornecki, Daniel Buschek, Anna Maria Feit |
Typing Behavior is About More than Speed: Users' Strategies for Choosing Word Suggestions Despite Slower Typing Rates. |
Proc. ACM Hum. Comput. Interact. |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Yulia Gizatdinova, Oleg Spakov, Outi Tuisku, Matthew A. Turk, Veikko Surakka |
Vision-Based Interfaces for Character-Based Text Entry: Comparison of Errors and Error Correction Properties of Eye Typing and Head Typing. |
Adv. Hum. Comput. Interact. |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Robert Chen, Roger Levy, Tiwalayo Eisape |
On Factors Influencing Typing Time: Insights from a Viral Online Typing Game. |
CogSci |
2021 |
DBLP BibTeX RDF |
|
26 | Wenxin Feng 0001, Jiangnan Zou, Andrew T. N. Kurauchi, Carlos H. Morimoto, Margrit Betke |
HGaze Typing: Head-Gesture Assisted Gaze Typing. |
ETRA Full Papers |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Tatsuhito Hasegawa, Tatsuya Hatakenaka |
Touch-Typing Detection Using Eyewear: Toward Realizing a New Interaction for Typing Applications. |
Sensors |
2019 |
DBLP DOI BibTeX RDF |
|
26 | Tsubasa Yumura, Satoshi Nakamura 0002 |
Augmented typing: augmentation of keyboard typing experience by adding visual and sound effects. |
AsianCHI@CHI |
2019 |
DBLP DOI BibTeX RDF |
|
26 | Karla Ramírez Pulido, Jorge Luis Ortega-Arjona, Lourdes Del Carmen González-Huesca |
Gradual Typing Using Union Typing With Records. |
LANMR (Selected Papers) |
2019 |
DBLP DOI BibTeX RDF |
|
26 | Karla Ramírez Pulido, Jorge Luis Ortega-Arjona, Lourdes Del Carmen González-Huesca |
Gradual typing using union typing with records. |
LANMR |
2019 |
DBLP BibTeX RDF |
|
26 | Yu-Hao Lin, Suwen Zhu, Yu-Jung Ko, Wenzhe Cui, Xiaojun Bi 0001 |
Why Is Gesture Typing Promising for Older Adults?: Comparing Gesture and Tap Typing Behavior of Older with Young Adults. |
ASSETS |
2018 |
DBLP DOI BibTeX RDF |
|
26 | Masae Okada, Masakazu Higuchi, Takashi Komuro, Kayo Ogawa |
Recognition of typing motions on AR typing interface. |
MUM |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Zhaoyuan Ma, Darren Edge, Leah Findlater, Hong Z. Tan |
Haptic keyclick feedback improves typing speed and reduces typing errors on a flat keyboard. |
World Haptics |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Moez A. AbdelGawad |
An Overview of Nominal-Typing versus Structural-Typing in Object-Oriented Programming. |
CoRR |
2013 |
DBLP BibTeX RDF |
|
26 | Hadeel Al-Negheimish, Lama Al-Andas, Latifah Al-Mofeez, Aljawharah Al-Abdullatif, Nuha Al-Khalifa, Areej Al-Wabil |
Brainwave Typing: Comparative Study of P300 and Motor Imagery for Typing Using Dry-Electrode EEG Devices. |
HCI (28) |
2013 |
DBLP DOI BibTeX RDF |
|
26 | Jeong Ho Kim 0003, Lovenoor S. Aulck, Ornwipa Thamsuwan, Michael C. Bartha, Christy A. Harper, Peter W. Johnson |
The Effects of Touch Screen Virtual Keyboard Key Sizes on Typing Performance, Typing Biomechanics and Muscle Activity. |
HCI (23) |
2013 |
DBLP DOI BibTeX RDF |
|
26 | Tayfur Coskun, Christian A. Wiesner, Eva Artinger, Amal Benzina, Patrick Maier 0002, Manuel J. Huber, Claudia Grill, Philip Schmitt, Gudrun Klinker |
Gestyboard 2.0: A Gesture-Based Text Entry Concept for High Performance Ten-Finger Touch-Typing and Blind Typing on Touchscreens. |
SouthCHI |
2013 |
DBLP DOI BibTeX RDF |
|
26 | Leah Findlater, Jacob O. Wobbrock, Daniel Wigdor |
Typing on flat glass: examining ten-finger expert typing patterns on touch surfaces. |
CHI |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Prima Chairunnanda, Nam Pham, Urs Hengartner |
Privacy: Gone with the Typing! Identifying Web Users by Their Typing Patterns. |
SocialCom/PASSAT |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Wolfgang Helmberg, Raymond Dunivin, Michael Feolo |
The sequencing-based typing tool of dbMHC: typing highly polymorphic gene sequences. |
Nucleic Acids Res. |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Andrew Sears, Doreen Revis, Janet Swatski, Rob Crittenden, Ben Shneiderman |
Investigating touchscreen typing: the effect of keyboard size on typing speed. |
Behav. Inf. Technol. |
1993 |
DBLP DOI BibTeX RDF |
|
23 | Akiyo Kano, Janet C. Read |
Text input error categorisation: solving character level insertion ambiguities using Zero Time analysis. |
BCS HCI |
2009 |
DBLP BibTeX RDF |
key log, solving ambiguities, ambiguities, timestamp, insertion, typing errors |
23 | Hyunjin Ji, Taeyong Kim |
CLURD: A New Character-Inputting System Using One 5-Way Key Module. |
HCI (3) |
2009 |
DBLP DOI BibTeX RDF |
Character Input, 5-way Key Module, Mobile Device, Wearable Computer, Typing, Keyboard |
23 | Allison Druin, Elizabeth Foss, Leshell Hatley, Evan Golub, Mona Leigh Guha, Jerry Alan Fails, Hilary Browne Hutchinson |
How children search the internet with keyword interfaces. |
IDC |
2009 |
DBLP DOI BibTeX RDF |
internet, search, search engine, children, typing, query formulation, search results |
23 | Nikhil Swamy, Michael W. Hicks, Gavin M. Bierman |
A theory of typed coercions and its applications. |
ICFP |
2009 |
DBLP DOI BibTeX RDF |
coercion insertion, gradual typing, nonambiguity, type-directed translation, provenance |
23 | Vincent Balat, Jérôme Vouillon, Boris Yakobowski |
Experience report: ocsigen, a web programming framework. |
ICFP |
2009 |
DBLP DOI BibTeX RDF |
ocsigen, networking, web, programming, implementation, services, ML, typing, XHTML, objective CAML |
23 | Javier San Agustin, Henrik H. T. Skovsgaard, John Paulin Hansen, Dan Witzner Hansen |
Low-cost gaze interaction: ready to deliver the promises. |
CHI Extended Abstracts |
2009 |
DBLP DOI BibTeX RDF |
low-cost gaze tracking, performance evaluation, universal access, gaze interaction, eye typing |
23 | Marco Comini, Ferruccio Damiani, Samuel Vrech |
On Polymorphic Recursion, Type Systems, and Abstract Interpretation. |
SAS |
2008 |
DBLP DOI BibTeX RDF |
Type Inference Algorithm, Principal Typing |
23 | Anke Huckauf, Mario H. Urbina |
Gazing with pEYEs: towards a universal input for various applications. |
ETRA |
2008 |
DBLP DOI BibTeX RDF |
user interfaces, input devices, evaluation methodology, gaze control, eye-typing |
23 | Marco Porta, Matteo Turina |
Eye-S: a full-screen input modality for pure eye-based communication. |
ETRA |
2008 |
DBLP DOI BibTeX RDF |
eye sequence, eye writing, assistive technology, gaze interaction, eye typing, alternative communication, eye gesture |
23 | Pascal Coupey, Christophe Fouqueré, Jean-Vincent Loddo |
Tree Components Programming: An Application to XML. |
ICTAC |
2007 |
DBLP DOI BibTeX RDF |
web programming language, tree components, XML, static typing |
23 | Philip Wadler |
Faith, evolution, and programming languages: from Haskell to Java to links. |
OOPSLA Companion |
2006 |
DBLP DOI BibTeX RDF |
dynamic and static typing, Java, generics, Haskell, links, type classes, parametric polymorphism |
23 | Andreas Rossberg |
Generativity and dynamic opacity for abstract types. |
PPDP |
2003 |
DBLP DOI BibTeX RDF |
generativity, encapsulation, opacity, dynamic typing, abstract types, existential types |
23 | Frédéric Peschanski, Jean-Pierre Briot, Akinori Yonezawa |
Fine-Grained Dynamic Adaptation of Distributed Components. |
Middleware |
2003 |
DBLP DOI BibTeX RDF |
Fine-grain adaptations, Event-based Asynchronous Communications, Strong typing, Dynamic Adaptability, Component-based Middleware |
23 | Shari Trewin |
Extending keyboard adaptability: An investigation. |
Univers. Access Inf. Soc. |
2002 |
DBLP DOI BibTeX RDF |
Accessibility, Keyboard, Motor disabilities, Typing errors |
23 | Chris Lankford |
Effective eye-gaze input into Windows. |
ETRA |
2000 |
DBLP DOI BibTeX RDF |
mouse clicking, typing, disabled, windows, eye-gaze |
23 | François Bertault, Peter Eades |
Graph Library Design. |
SCCC |
2000 |
DBLP DOI BibTeX RDF |
graph library design, dynamic graph typing, safe polymorphic algorithms, object-oriented programming, graphs, graph algorithms, object oriented design, extensibility, diagrams, diagrams, software libraries, software performance |
23 | Pascale Louvet, Olivier Ridoux |
Parametric Polymorphism for Typed Prolog and lambda-Prolog. |
PLILP |
1996 |
DBLP DOI BibTeX RDF |
second-order -Calculus, Logic programming, polymorphism, typing |
23 | Nicholas Beaumont |
Is APL2 a Good Programming Language? |
APL |
1995 |
DBLP DOI BibTeX RDF |
APL, data typing, control structure, systems analysis and design |
23 | Eduardus A. T. Merks, J. Michael Dyck, Robert D. Cameron |
Language Design For Program Manipulation. |
IEEE Trans. Software Eng. |
1992 |
DBLP DOI BibTeX RDF |
software engineering, Ada, object-oriented programming, Pascal, typing, language design, high level languages, unfolding, Modula-2, naming, abstract syntax, scoping, object-oriented programming languages, static semantics, program manipulation, program manipulations, procedural languages |
23 | William R. Cook |
Object-Oriented Programming Versus Abstract Data Types. |
REX Workshop |
1990 |
DBLP DOI BibTeX RDF |
higher-order procedures, object-oriented programming, typing, extensibility, abstract data type, incremental programming |
23 | DeLesley S. Hutchins |
Pure subtype systems. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
abstract reduction systems, transitivity elimination, subtyping, dependent types, singleton types |
23 | Yang Chen, Jing Yang 0001, Scott Barlowe, Dong Hyun Jeong |
Touch2Annotate: generating better annotations with less human effort on multi-touch interfaces. |
CHI Extended Abstracts |
2010 |
DBLP DOI BibTeX RDF |
information visualization, annotation, taxonomy, multi-touch interface |
23 | Brian Campbell 0001 |
Amortised Memory Analysis Using the Depth of Data Structures. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan |
Closing the stage: from staged code to typed closures. |
PEPM |
2008 |
DBLP DOI BibTeX RDF |
multistage programming, mutable state and control effects, type abstraction, closures, parametric polymorphism |
23 | Cong-Cong Xing |
Enhancing program verifications by restricting object types. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
object types, OOP, program verification |
23 | Fernando Berzal Galiano, Juan Carlos Cubero Talavera, Nicolás Marín, María Amparo Vila Miranda |
Data Integration Using Lazy Types. |
ICHIT |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Andrew Begel, Susan L. Graham |
An Assessment of a Speech-Based Programming Environment. |
VL/HCC |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Saso Greiner, Damijan Rebernak, Janez Brest, Viljem Zumer |
Z0 - a tiny experimental language. |
ACM SIGPLAN Notices |
2005 |
DBLP DOI BibTeX RDF |
Java, object-orientation, language design |
23 | Geert Jan Bex, Wim Martens, Frank Neven, Thomas Schwentick |
Expressiveness of XSDs: from practice to theory, there and back again. |
WWW |
2005 |
DBLP DOI BibTeX RDF |
formal model, XML schema, expressiveness |
23 | Daniele Gunetti, Claudia Picardi, Giancarlo Ruffo |
Keystroke Analysis of Different Languages: A Case Study. |
IDA |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Igor Schadle |
Sibyl: AAC System Using NLP Techniques. |
ICCHP |
2004 |
DBLP DOI BibTeX RDF |
|
23 | J. B. Wells, Boris Yakobowski |
Graph-Based Proof Counting and Enumeration with Applications for Program Fragment Synthesis. |
LOPSTR |
2004 |
DBLP DOI BibTeX RDF |
|
23 | David Aspinall 0001, Adriana B. Compagnoni |
Heap-Bounded Assembly Language. |
J. Autom. Reason. |
2003 |
DBLP DOI BibTeX RDF |
proof-carrying code, typed assembly language |
23 | Nadeem Abdul Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni |
A Syntactic Approach to Foundational Proof-Carrying Code. |
J. Autom. Reason. |
2003 |
DBLP DOI BibTeX RDF |
foundational proof-carrying code, syntactic soundness proof, typed assembly language |
23 | Michal Konecný |
Functional In-Place Update with Layered Datatype Sharing. |
TLCA |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Walid Taha, Michael Florentin Nielsen |
Environment classifiers. |
POPL |
2003 |
DBLP DOI BibTeX RDF |
type systems, modal logic, type safety, linear temporal logic, multi-stage programming |
23 | Ferruccio Damiani |
Rank 2 intersection types for modules. |
PPDP |
2003 |
DBLP DOI BibTeX RDF |
type inference, separate compilation, principal typings |
23 | Francesco Bergadano, Daniele Gunetti, Claudia Picardi |
User authentication through keystroke dynamics. |
ACM Trans. Inf. Syst. Secur. |
2002 |
DBLP DOI BibTeX RDF |
Biometric techniques, keystroke analysis |
23 | Johannes Matiasek, Marco Baroni, Harald Trost |
FASTY - A Multi-lingual Approach to Text Prediction. |
ICCHP |
2002 |
DBLP DOI BibTeX RDF |
|
23 | Martin Hofmann 0001 |
A Type System for Bounded Space and Functional In-Place Update--Extended Abstract. |
ESOP |
2000 |
DBLP DOI BibTeX RDF |
|
23 | Zhenyu Qian |
A Formal Specification of Java Virtual Machine Instructions for Objects, Methods and Subrountines. |
Formal Syntax and Semantics of Java |
1999 |
DBLP DOI BibTeX RDF |
|
23 | Jan Zwanenburg |
Pure Type Systems with Subtyping. |
TLCA |
1999 |
DBLP DOI BibTeX RDF |
|
23 | Andrew K. Wright, Robert Cartwright |
A Practical Soft Type System for Scheme. |
LISP and Functional Programming |
1994 |
DBLP DOI BibTeX RDF |
SCHEME |
23 | Takayuki Dan Kimura, Wayne Citrin, Dan Halbert, Carl Hewitt, Norman K. Meyrowitz, Ben Shneiderman |
Potentials and Limitations of Pen-Based Computers. |
ACM Conference on Computer Science |
1993 |
DBLP DOI BibTeX RDF |
|
23 | Pierre-Louis Curien, Giorgio Ghelli |
Coherence of Subsumption. |
CAAP |
1990 |
DBLP DOI BibTeX RDF |
|
23 | Fritz Henglein |
Type Inference and Semi-Unification. |
LISP and Functional Programming |
1988 |
DBLP DOI BibTeX RDF |
|
23 | Lalita Jategaonkar, John C. Mitchell |
ML with Extended Pattern Matching and Subtypes. |
LISP and Functional Programming |
1988 |
DBLP DOI BibTeX RDF |
ML |
23 | Daniel Leivant |
Polymorphic Type Inference. |
POPL |
1983 |
DBLP DOI BibTeX RDF |
|
21 | Aaron Stump, Evan Austin |
Resource typing in Guru. |
PLPV |
2010 |
DBLP DOI BibTeX RDF |
dependently typed programming, resource types |
21 | Michael Furr, Jong-hoon (David) An, Jeffrey S. Foster |
Profile-guided static typing for dynamic scripting languages. |
OOPSLA |
2009 |
DBLP DOI BibTeX RDF |
RIL, profile guided anlaysis, scripting languages, ruby |
21 | Yasuko Hayashi, Kensei Jo, Yasuaki Kakehi, Takeshi Naemura |
TypeTile: a keyboard system that decorates characters depending on the way of typing. |
SIGGRAPH Posters |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Paul Edward McKechnie, Nathan A. Lindop, Wim Vanderbauwhede |
A type system for static typing of a domain-specific language. |
FPGA |
2008 |
DBLP DOI BibTeX RDF |
static type checking, FPGA, type system |
21 | Dan Morris 0001, A. J. Bernheim Brush, Brian Meyers |
SuperBreak: using interactivity to enhance ergonomic typing breaks. |
CHI |
2008 |
DBLP DOI BibTeX RDF |
interruptions, ergonomics, physical interfaces, rsi |
21 | Wataru Tsukahara, Zhang Zisheng, Shingo Akamatsu, Fumihiko Anma, Toshio Okamoto |
Reach: an Awareness Rich CSCL Text Chat Tool with Real-time Key Typing Display. |
ICALT |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Peter Hui, James Riely |
Typing for a minimal aspect language: preliminary report. |
FOAL |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Anke Huckauf, Mario H. Urbina |
Gazing with pEYE: new concepts in eye typing. |
APGV |
2007 |
DBLP DOI BibTeX RDF |
user interfaces, input devices, evaluation methodology, gaze control |
21 | Avik Chaudhuri, Martín Abadi |
Secrecy by Typing and File-Access Control. |
CSFW |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Andrew D. Gordon 0001, Riccardo Pucella |
Validating a web service security abstraction by typing. |
Formal Aspects Comput. |
2005 |
DBLP DOI BibTeX RDF |
Web services, Authentication, Type systems, Remote procedure call |
Displaying result #101 - #200 of 2449 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|