|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4314 occurrences of 2015 keywords
|
|
|
Results
Found 6542 publication records. Showing 6542 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
18 | Slavisa Markovic, Thomas Baar |
Refactoring OCL annotated UML class diagrams. |
Softw. Syst. Model. |
2008 |
DBLP DOI BibTeX RDF |
Imperative OCL, Syntax preserving refactoring rules, Source code verification, Refactoring, Graph-transformations, QVT |
18 | Peter M. Scharf |
Modeling Paninian Grammar. |
Sanskrit Computational Linguistics |
2008 |
DBLP DOI BibTeX RDF |
generative grammar, Panini, Patanjali, Astadhyayi, sandhi, morphophonemic, syntacticosemantic, mutual dependence, computational implementation, semantics, morphology, syntax, levels, circularity, inflection |
18 | Paul Kiparsky |
On the Architecture of Panini's Grammar. |
Sanskrit Computational Linguistics |
2008 |
DBLP DOI BibTeX RDF |
Sanskrit grammar, phonology, thematic roles, levels of representation, rule ordering, morphology, syntax, simplicity, P??ini |
18 | Murdoch James Gabbay, Martin Hofmann 0001 |
Nominal Renaming Sets. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
Nominal renaming sets, nominal sets, abstract syntax with binding |
18 | Lian Yu, Jun Zhou, Yue Yi, Ping Li, Qianxiang Wang |
Ontology Model-Based Static Analysis on Java Programs. |
COMPSAC |
2008 |
DBLP DOI BibTeX RDF |
Program ontology model, bug detector, abstract syntax tree (AST), static analysis, reasoning |
18 | Kami Vaniea, Clare-Marie Karat, Joshua B. Gross, John Karat, Carolyn Brodie |
Evaluating assistance of natural language policy authoring. |
SOUPS |
2008 |
DBLP DOI BibTeX RDF |
syntax highlighting, privacy, design process, privacy policies, natural language interfaces, social and legal issues |
18 | Michael Strommer, Manuel Wimmer |
A Framework for Model Transformation By-Example: Concepts and Tool Support. |
TOOLS (46) |
2008 |
DBLP DOI BibTeX RDF |
mapping language, GMF, model transformation, concrete syntax |
18 | Martin Hirzel, Robert Grimm 0001 |
Jeannie: granting java native interface developers their wishes. |
OOPSLA |
2007 |
DBLP DOI BibTeX RDF |
modular syntax, programming language composition, rats!, xtc, java, C, JNI, foreign function interface |
18 | Hiroaki Nakamura |
Left-Peripheral and Sentence-Internal Topics in Japanese. |
JSAI |
2007 |
DBLP DOI BibTeX RDF |
topic particle WA, topic-comment articulation, information pack- aging, syntax-semantics interface, categorial grammar |
18 | 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 |
18 | Paul B. Mann |
A translational BNF grammar notation (TBNF). |
ACM SIGPLAN Notices |
2006 |
DBLP DOI BibTeX RDF |
LALR, LL, LR, intermediate code, language recognition, grammar, syntax, parser, parser generator, compiler compiler, AST, BNF, grammarware, EBNF |
18 | Jane Huffman Hayes, Jeff Offutt |
Input validation analysis and testing. |
Empir. Softw. Eng. |
2006 |
DBLP DOI BibTeX RDF |
Specificationanalysis, Inputvalidation, Fault-based analysis, Fault-basedtesting, Empiricalresearch, Syntax-based, Interfaceverification, Systemtesting, Staticanalysis, Dynamictesting, Casestudy, Software testing |
18 | Jason Hickey, Aleksey Nogin |
Formal compiler construction in a logical framework. |
High. Order Symb. Comput. |
2006 |
DBLP DOI BibTeX RDF |
Formal compiler, Higher-order abstract syntax, Logical programming environment |
18 | Jason Hickey, Aleksey Nogin, Xin Yu, Alexei Kopylov |
Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection. |
ICFP |
2006 |
DBLP DOI BibTeX RDF |
languages with bindings, mechanized reasoning, meta-theory, metaPRL, nuPRL, reflection, type theory, higher-order abstract syntax |
18 | Yuan Zhao, Ken Kennedy |
Scalarization Using Loop Alignment and Loop Skewing. |
J. Supercomput. |
2005 |
DBLP DOI BibTeX RDF |
array syntax, loop alignment, loop skewing, Fortran 90/95, memory hierarchy performance, compiler optimization, stencil computation, scalarization |
18 | Aleksey Nogin, Alexei Kopylov, Xin Yu, Jason Hickey |
A computational approach to reflective meta-reasoning about languages with bindings. |
MERLIN |
2005 |
DBLP DOI BibTeX RDF |
MetaPRL, Nuprl, languages with bindings, programming language, reflection, experimentation, type theory, higher-order abstract syntax |
18 | Lukasz Blaszak, Marek Domanski |
A simple technique for SNR-scalable video coding using macroblock spiral re-ordering. |
ICME |
2005 |
DBLP DOI BibTeX RDF |
SNR-scalable video coding, scalable representation, spatial-temporal resolution, enhancement layer, stream partitioning, encoded macroblock, video quality perception, standard bitstream syntax |
18 | Vilém Novák |
Intensional theory of granular computing. |
Soft Comput. |
2004 |
DBLP DOI BibTeX RDF |
Fuzzy logic in narrow sense, Evaluated syntax, Extension, Intension |
18 | Vilém Novák |
On fuzzy equality and approximation in fuzzy logic. |
Soft Comput. |
2004 |
DBLP DOI BibTeX RDF |
Evaluated syntax, Fuzzy approximation, Fuzzy logic, Fuzzy equality |
18 | Hannes Leitgeb, Alexander Hieke |
Circular Languages. |
J. Log. Lang. Inf. |
2004 |
DBLP DOI BibTeX RDF |
non-well-founded sets, application, syntax, paradox, circularity |
18 | Jason Hickey, Aleksey Nogin, Adam Granicz |
Compiler implementation in a formal logical framework. |
MERLIN |
2003 |
DBLP DOI BibTeX RDF |
formal compiler, higher-order abstract syntax, logical programming environment |
18 | Chito Jovellanos |
Semantic and syntactic interoperability: in transactional systems. |
EC |
2003 |
DBLP DOI BibTeX RDF |
semantics, interoperability, integration, transformation, syntax |
18 | Marcelo P. Fiore |
Semantic analysis of normalisation by evaluation for typed lambda calculus. |
PPDP |
2002 |
DBLP DOI BibTeX RDF |
categorical glueing, lambda definability, normalisation by evaluation, typed abstract syntax with variable binding, logical relations, typed lambda calculus, initial algebra semantics |
18 | Michael L. Collard, Jonathan I. Maletic, Andrian Marcus |
Supporting document and data views of source code. |
ACM Symposium on Document Engineering |
2002 |
DBLP DOI BibTeX RDF |
XML, program analysis, source code, markup language, abstract syntax tree |
18 | Boualem Laichi, Yamina Sami |
ATC : Actors with Temporal Constraints. |
ISORC |
2001 |
DBLP DOI BibTeX RDF |
configurations class, real time systems, semantic, syntax, temporal constraints, Actor model |
18 | Guido Kaufmann, Horst Bunke |
Detection and correction of recognition errors in check reading. |
Int. J. Document Anal. Recognit. |
2000 |
DBLP DOI BibTeX RDF |
Reading systems, Check processing, Post-processing, Word recognition, Syntax-directed translation |
18 | Anthony Cox, Charles Clarke 0001 |
A comparative evaluation of techniques for syntactic level source code analysis. |
APSEC |
2000 |
DBLP DOI BibTeX RDF |
syntactic level source code analysis, program maintenance tools, grep, hierarchical lexical analysis, source file, data structures, data structures, software maintenance, software tools, experiments, program compilers, parsing, abstract syntax |
18 | Richard C. Holt, Ahmed E. Hassan, Bruno Laguë, Sébastien Lapierre, Charles Leduc |
E/R Schema for the Datrix C/C++/Java Exchange Format. |
WCRE |
2000 |
DBLP DOI BibTeX RDF |
Software exchange format, SEF, data exchange, schema, abstract syntax tree, AST |
18 | Alfs T. Berztiss |
Usage Anomalies and Internationalization. |
DEXA Workshops |
2000 |
DBLP DOI BibTeX RDF |
usage anomalies, successful communication, international setting, cultural backgrounds, linguistic background, syntax anomalies, cultural context, linguistic misinterpretation, linguistics, cultural differences, internationalization, context switch, spelling |
18 | John Hale, Mauricio Papa, Oliver Bremer, Rodrigo Chandia, Sujeet Shenoi |
Extending Java for Package based Access Control. |
ACSAC |
2000 |
DBLP DOI BibTeX RDF |
package based access control, programmable security, TBAC, primitive ticket, language translation preprocessor, security service library, ticket management, Java, object-oriented programming, RBAC, MAC, source code, software libraries, syntax, authorisation, program interpreters, DAC, Java language, bytecode interpretation |
18 | Tim A. Wagner, Susan L. Graham |
Efficient and Flexible Incremental Parsing. |
ACM Trans. Program. Lang. Syst. |
1998 |
DBLP DOI BibTeX RDF |
operator precedence, optimal reuse, ambiguity, abstract syntax, incremental parsing, balanced structure |
18 | Yuen-Wen Lee, Faouzi Kossentini, Rabab Kreidieh Ward |
Efficient RD Optimized Macroblock Coding Mode Selection for MPEG-2 Video Encoding. |
ICIP (2) |
1997 |
DBLP DOI BibTeX RDF |
MPEG-2 video encoding, MPEG-2 bitstream syntax, optimized macroblock coding mode selection, interlaced video encoder, rate-distortion criterion, computation-performance trade-offs, MPEG-2 TM5 encoder, motion compensated prediction, DCT based residual coding, video coding, statistical modeling, predictive modeling, computational analysis, compression performance |
18 | Stephen Wang-Cheung Lam, Keith C. C. Chan, Hareton K. N. Leung, Lawrence Chung |
A visual programming environment for Z specifications. |
APSEC |
1997 |
DBLP DOI BibTeX RDF |
syntax checking, VZ, Visual Z, specification validation, logic proving, software tools, visual programming, icons, editing, glyphs, Z specifications, visual programming environment |
18 | Xudong He, Weili Yao |
Translating hierarchical predicate transition nets to CC++ program skeletons. |
COMPSAC |
1997 |
DBLP DOI BibTeX RDF |
hierarchical predicate transition net translation, CC++ program skeletons, overall translation architecture, translation rules, transformational software development methodology, Petri nets, semantics, syntax, concurrent object-oriented programming |
18 | Jon A. Pastor, Suzanne Liebowitz Taylor, Donald P. McKay, Robin McEntire |
An Architecture for Intelligent Resource Agents. |
CoopIS |
1997 |
DBLP DOI BibTeX RDF |
intelligent resource agent architecture, mediating agents, cooperative interaction, timely Internet resource access, customized Internet resource access, shared object definitions, common message syntax, Knowledge Query Manipulation Language, standard agent communication language, remote resource utilization, WWW infrastructure, collaboration, software agents, distributed environment, classroom, message transmission, K-12 education |
18 | J. C. Tay, S. Y. Huang, Hiok Chai Quek |
CSL (Part I): Modelling General N-ary, Logical CSPs. |
ICTAI |
1997 |
DBLP DOI BibTeX RDF |
constraint specification language, CSL, user-defined constraints, N-ary logical constraint satisfaction problems, constraint logic programming languages, expressive algebra, extended versions, transparent access, data structures, constraint programming, unification, syntax, logic programming languages, numerical constraints |
18 | Boris I. Cogan, Robin B. Hunter |
Language-based approaches to software measurement. |
IEEE METRICS |
1996 |
DBLP DOI BibTeX RDF |
language-based approaches, programming language theory, semantics, software metrics, programming languages, software measurement, syntax, software documents |
18 | T. C. Nicholas Graham, Tore Urnes |
Linguistic Support for the Evolutionary Design of Software Architectures. |
ICSE |
1996 |
DBLP BibTeX RDF |
Clock-Works programming environment, architecture language, automatic message routing, constraint-based communication, multiuser applications, restricted scoping, visual syntax, software engineering, interactive, software architectures, programming environments, interactive systems, Clock, high level languages |
18 | Kingsum Chow, David Notkin |
Semi-automatic update of applications in response to library changes. |
ICSM |
1996 |
DBLP DOI BibTeX RDF |
semi-automatic application update, library changes, library syntax, library semantics, updated libraries, toolset, library maintainer, changed functions, rules, costs, software libraries, software libraries, programmers |
18 | Philip J. Morrow, Danny Crookes |
Using Prolog to implement a compiler for a parallel image processing language. |
ICIP |
1995 |
DBLP DOI BibTeX RDF |
parallel image processing language, BNF syntax definition, image processing, compiler, parallel architectures, parallel architectures, PROLOG, programming languages, program compilers, parallel languages, software portability, software portability, abstract model, implementation language |
18 | Wenbo Mao |
An augmentation of BAN-like logics. |
CSFW |
1995 |
DBLP DOI BibTeX RDF |
BAN-like logics augmentation, protocol idealization, rule-based technique, protocol syntax, protocols, formal logic, message authentication, authentication protocols, symbolic manipulation |
18 | Alexandre Yakovlev, Victor Varshavsky, Vyacheslav Marakhovsky, Alexei L. Semenov |
Designing an asynchronous pipeline token ring interface. |
ASYNC |
1995 |
DBLP DOI BibTeX RDF |
asynchronous pipeline token ring interface, speed-independent interface, reliable communication medium, on-board multicomputer, asynchronous buses, point-to-point interconnections, syntax-driven implementation, channel protocol controller, protocols, fairness, multiprocessor interconnection networks, local area networks, pipeline processing, deadlock-freedom, token networks |
18 | Patrice Quinton, Sanjay V. Rajopadhye, Doran Wilde |
On deriving data parallel code from a functional program. |
IPPS |
1995 |
DBLP DOI BibTeX RDF |
data parallel code, translation methodology, high level algorithmic specification, imperative data parallel language, applicative caching, compilation method, incremental transformations, compilation steps, loop nest generation, scheduling, formal specification, parallel programming, static analysis, partitioning, code generation, functional programming, functional program, program compilers, alignment, parallel languages, functional languages, program interpreters, abstract syntax tree, ALPHA |
18 | Alberto Del Bimbo, Luigi Rella, Enrico Vicario |
Visual Specification of Branching Time Temporal Logic. |
VL |
1995 |
DBLP DOI BibTeX RDF |
branching time temporal logic, ordering relationships, visual shell, recursive syntax, mathematical notation, recursive visualization rules, generative approach, generic textual formula visualisation, 3D virtual space, branching time formulae, complex formulae, formal specification, parallel processing, parallelism, temporal logic, specification languages, visual languages, visual language, data visualisation, graphic representation, nesting, descriptive language, visual specification, time-varying systems, time-varying systems, execution sequencing |
18 | Arthur M. Geoffrion, Sergio Maturana |
Generating optimization-based decision support systems. |
HICSS (3) |
1995 |
DBLP DOI BibTeX RDF |
optimization-based decision support systems, programming effort, completely specified syntax, total structure/data independence, surface/deep structure distinction, software engineering, semantics, graphical user interfaces, GUI, graphical user interfaces, software tools, software tools, decision support systems, optimisation, database management systems, DBMS, business data processing, SML |
18 | Thomas Verghese, Ying Zhou |
Domain translation using relational structure. |
HICSS (4) |
1995 |
DBLP DOI BibTeX RDF |
domain description, domain translation, multiple effect system task, knowledge-based translation, constrained descriptive language, common descriptive language, translation procedures, language syntax, mathematical notion, decision support systems, expert systems, expert systems, translation, auditing, auditing, business data processing, formal logic, first order predicate logic, relational structure, organizational decision support system |
18 | Matthew S. Harelick, Thomas J. Marlowe, Alexander D. Stoyenko, Purnendu Sinha |
A constraint function classification for complex systems development. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
knowledge verification, constraint function classification, constraint syntax, constraint management, implied constraints, distributed system, real-time systems, resource allocation, data integrity, distributed processing, knowledge based systems, requirements, systems analysis, consistency checking, large-scale systems, constraint handling, software modules, rule-based approach, resource allocation problem, REAL project, complex systems development |
18 | Shaoying Liu, Yong Sun |
Structured methodology+object-oriented methodology+formal methods: methodology of SOFL. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
structured methodolog, SOFL language, structured-object-oriented-formal language, informal semantics, training centre system, formal methods, formal languages, object-oriented languages, object-oriented methods, computational linguistics, system development, industry, data flow graphs, structured programming, abstract syntax, object-oriented methodology |
18 | Alexander C. Klaiber, Maya B. Gokhale |
Parallel Evaluation of Attribute Grammars. |
IEEE Trans. Parallel Distributed Syst. |
1992 |
DBLP DOI BibTeX RDF |
shared-memory MIMD computers, processscheduling, list-productions, synchronization, programming theory, attribute grammars, attribute grammars, abstract syntax, parallelprogramming, coarse-grain parallelism, semantic rules, parallel evaluators, inherent parallelism |
18 | Jeffrey J. P. Tsai, Thomas J. Weigert, Hung-Chin Jang |
A Hybrid Knowledge Representation as a Basis of Requirement Specification and Specification Analysis. |
IEEE Trans. Software Eng. |
1992 |
DBLP DOI BibTeX RDF |
nonmonotonic Horn clause logic, formal requirement specification language, frame-and-rule oriented requirement specification language, FRORL, surface syntax, hierarchical relationships, formal specification, object oriented, knowledge representation, prototyping, specification languages, inheritance, reusability, frames, software development environment, C language, production rules, multiple inheritance, Horn clauses, logic programming languages, executability, hybrid knowledge representation |
18 | James W. Stamos, David K. Gifford |
Implementing Remote Evaluation. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
remote evaluation implementation, compile time support, executable code, high-level programming language, remote procedure call implementation, performance evaluation, distributed systems, semantics, distributed processing, computer networks, performance measurements, distributed applications, communication network, heterogeneous systems, syntax, run-time support, homogeneous systems |
18 | Valeria De Antonellis, Bruna Zonta |
A Disciplined Approach to Office Analysis. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
office requirements, disciplined language, conventionality, concrete concepts, minimum formalism, computer-based office support system, designer, formal specification, programming languages, formal languages, morphology, computational linguistics, syntax, office automation |
18 | Heinrich Niemann, Gerhard Sagerer, Stefan Schröder, Franz Kummert |
ERNEST: A Semantic Network System for Pattern Understanding. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1990 |
DBLP DOI BibTeX RDF |
semantic network system, pattern understanding, problem-independent control algorithms, knowledge representation, knowledge based systems, speech recognition, computerised pattern recognition, syntax, image understanding, speech understanding |
18 | Patrick M. Lenders |
Distributed Computing with Single Read-Single Write Variables. |
IEEE Trans. Software Eng. |
1989 |
DBLP DOI BibTeX RDF |
single read-single write variables, free, wait state, SRSW variables, regular sequential language, SRSW data type, parallel programs, distributed computing, distributed processing, message passing, operational semantics, asynchronous communication, syntax, busy, synchronous communication |
18 | Herbert Göttler |
Graph Grammars, A New Paradigma for Implementing Visual Languages. |
RTA |
1989 |
DBLP DOI BibTeX RDF |
CR classification system (1987): D.1 Programming Techniques D.2.1 Requirements/Specification, D.2.2 Tools and Techniques, D.2.6 Programming Environments, E.1 Data Structures, F.4.2 Grammars and other Rewriting Systems - additional: Graph Grammars, Syntax-directed Editors, Diagram Languages |
18 | Takao Tenma, Hideaki Tsubotani, Minoru Tanaka, Tadao Ichikawa |
A System for Generating Language-Oriented Editors. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
language dependent data representation, language-oriented editors, language-oriented tools, target language description, data structures, data structures, object-oriented, software tools, software tools, application generators, application generators, text editing, abstract syntax tree, description language |
18 | Werner Damm |
A Microprogramming Logic. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
microprogramming logic, syntax-directed proof system, horizontal computer architectures, clocked microarchitectures, axiomatic definition, microoperations, low-level parallelism, dynamic conflicts, specification, computer architecture, theorem proving, specification languages, architecture description language, formal logic, microprogramming, AADL, timing behavior |
18 | Axel van Lamsweerde, Bruno Delcourt, Emmanuelle Delor, Marie-Claire Schayes, Robert Champagne |
Generic Lifecycle Support in the ALMA Environment. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
ALMA, environment kernel, environment database, software objects, high-level tools, syntax-directed tools, software tools, programming environments, programming environments, database management systems, systems analysis, system documentation, system documentation, software lifecycle |
18 | Rangachar Kasturi, Juan Alemany |
Information Extraction of Paper-Based Maps. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
paper-based maps, spatial features, image-analysis algorithms, closed contours, map images, query processor, information retrieval, user interfaces, Fortran, database management systems, query languages, shortest paths, Lisp, distances, syntax, cartography, geographic data |
18 | Thomas J. Sager |
On the use of extended grammars. |
ACM Southeast Regional Conference |
1982 |
DBLP DOI BibTeX RDF |
extended LALR(k) grammars, semantics, syntax, parser generators |
18 | Robert Balzer, David J. Farber |
APAREL - A parse-request language. |
Commun. ACM |
1969 |
DBLP DOI BibTeX RDF |
string processing, pattern matching, translator, syntax, symbol manipulation, text processing, parser, BNF, PL/I |
16 | Frank Trollmann, Marco Blumendorf, Veit Schwartze, Sahin Albayrak |
Formalizing model consistency based on the abstract syntax. |
EICS |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Vincenzo Manca, María Dolores Jiménez-López |
Recombination Patterns for Natural Syntax. |
IWINAC (1) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Luis Pedro, Matteo Risoldi, Didier Buchs, Bruno Barroca, Vasco Amaral 0001 |
Composing Visual Syntax for Domain Specific Languages. |
HCI (2) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Michel Chilowicz, Étienne Duris, Gilles Roussel 0001 |
Syntax tree fingerprinting for source code similarity detection. |
ICPC |
2009 |
DBLP DOI BibTeX RDF |
|
16 | William G. J. Halfond, Alessandro Orso, Pete Manolios |
WASP: Protecting Web Applications Using Positive Tainting and Syntax-Aware Evaluation. |
IEEE Trans. Software Eng. |
2008 |
DBLP DOI BibTeX RDF |
Security and Protection, Protection mechanisms |
16 | Ralf Buschermöhle, Jörg Oelerink |
Rich meta object facility formal integration platform: syntax, semantics and implementation. |
Innov. Syst. Softw. Eng. |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Leonie Bosveld-de Smet, Mark de Vries |
Visualizing Non-subordination and Multidominance in Tree Diagrams: Testing Five Syntax Tree Variants. |
Diagrams |
2008 |
DBLP DOI BibTeX RDF |
tree diagrams, non-subordination, multidominance, usability |
16 | Nikolay Malitsky |
Processing heterogeneous abstract syntax trees with the mutable class pattern. |
OOPSLA Companion |
2008 |
DBLP DOI BibTeX RDF |
heterogeneous trees, mutable class pattern, OOP, AOP, visitor pattern |
16 | Wenxin Liang, Haruo Yokota |
Exploiting Path Information for Syntax-Based XML Subtree Matching in RDBs. |
WAIM |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Patrick Düssel, Christian Gehl, Pavel Laskov, Konrad Rieck |
Incorporation of Application Layer Protocol Syntax into Anomaly Detection. |
ICISS |
2008 |
DBLP DOI BibTeX RDF |
Anomaly Detection, Web Security, Protocol Analysis |
16 | Serguei A. Mokhov |
Towards Syntax and Semantics of Hierarchical Contexts in Multimedia Processing Applications Using MARFL. |
COMPSAC |
2008 |
DBLP DOI BibTeX RDF |
MARFL, Modular Audio Recognition Framework (MARF), higher-order contexts, context hierarchies, pattern recognition, multimedia processing, context-oriented programming, General Intensional Programming System (GIPSY) |
16 | Weiguang Sheng, Liyi Xiao, Zhigang Mao |
An Automated Fault Injection Technique Based on VHDL Syntax Analysis and Stratified Sampling. |
DELTA |
2008 |
DBLP DOI BibTeX RDF |
simulated fault injection, reliability, VLSI, soft error, stratified sampling |
16 | Isabelle Perseil, Laurent Pautet |
A Concrete Syntax for UML 2.1 Action Semantics Using +CAL. |
ICECCS |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Luca Bellotti |
Formalization, Syntax and the Standard Model of Arithmetic. |
Synth. |
2007 |
DBLP DOI BibTeX RDF |
MSC 2000 00A30, 03A05, 03B10, 03E30 |
16 | Daniele Turi, Paolo Missier, Carole A. Goble, David De Roure, Tom Oinn |
Taverna Workflows: Syntax and Semantics. |
eScience |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Gregor Fischer, J. Lusiardi, Jürgen Wolff von Gudenberg |
Abstract Syntax Trees - and their Role in Model Driven Software Development. |
ICSEA |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott |
Syntax and Basic Parsing. |
All About Maude |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Wenfei Fan, Gao Cong, Philip Bohannon |
Querying xml with update syntax. |
SIGMOD Conference |
2007 |
DBLP DOI BibTeX RDF |
query composition, transform queries, XML, updates |
16 | Yasuki Kakishita, Kazutoshi Sasahara, Tetsuro Nishino, Miki Takahasi, Kazuo Okanoya |
Pattern Extraction Improves Automata-Based Syntax Analysis in Songbirds. |
ACAL |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Mohamed Bouhdadi, Youssef Balouki, El maati Chabbar |
Meta-modelling Syntax and Semantics of Structural Concepts for Open Networked Enterprises. |
ICCSA (3) |
2007 |
DBLP DOI BibTeX RDF |
Enterprise Language, Structural Concepts, UML/OCL, Denotational Semantics, RM-ODP |
16 | Davy De Schrijver, Chris Poppe, Sam Lerouge, Wesley De Neve, Rik Van de Walle |
MPEG-21 bitstream syntax descriptions for scalable video codecs. |
Multim. Syst. |
2006 |
DBLP DOI BibTeX RDF |
H.264/MPEG-4 AVC, MPEG-21 BSDL, Universal Multimedia Access, Scalable Video Coding, Content Adaptation |
16 | Marco Grangetto, Enrico Magli, Gabriella Olmo |
A syntax-preserving error resilience tool for JPEG 2000 based on error correcting arithmetic coding. |
IEEE Trans. Image Process. |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Chulmin Jun, Jay Hyoun Kwon, Yunsoo Choi, Impyeong Lee |
An Alternative Measure of Public Transport Accessibility Based on Space Syntax. |
ICHIT |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Kazutoshi Sasahara, Yasuki Kakishita, Tetsuro Nishino, Miki Takahasi, Kazuo Okanoya |
Constructing Song Syntax by Automata Induction. |
ICGI |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Menno van Zaanen, Jeroen Geertzen |
Grammatical Inference for Syntax-Based Statistical Machine Translation. |
ICGI |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Josefina Sierra-Santibáñez |
Propositional Logic Syntax Acquisition. |
EELC |
2006 |
DBLP DOI BibTeX RDF |
|
16 | David Fisher, Olin Shivers |
Static analysis for syntax objects. |
ICFP |
2006 |
DBLP DOI BibTeX RDF |
extensible programming languages, language towers, lazy delegation, static analysis, domain-specific languages, type inference, flow analysis, macros |
16 | William G. J. Halfond, Alessandro Orso, Panagiotis Manolios |
Using positive tainting and syntax-aware evaluation to counter SQL injection attacks. |
SIGSOFT FSE |
2006 |
DBLP DOI BibTeX RDF |
runtime monitoring, SQL injection, dynamic tainting |
16 | Åsa Lindström |
On the Syntax and Semantics of Architectural Principles. |
HICSS |
2006 |
DBLP DOI BibTeX RDF |
|
16 | David Tugwell |
Language Modelling with Dynamic Syntax. |
TSD |
2006 |
DBLP DOI BibTeX RDF |
|
16 | O. G. Sharov, A. N. Afanas'ev |
Syntax-Directed Implementation of Visual Languages Based on Automaton Graphical Grammars. |
Program. Comput. Softw. |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Joerg Evermann, Yair Wand |
Toward Formalizing Domain Modeling Semantics in Language Syntax. |
IEEE Trans. Software Eng. |
2005 |
DBLP DOI BibTeX RDF |
ontology, specification, methodologies, Analysis, CASE, design concepts, object-oriented design methods |
16 | Sylvain Devillers, Christian Timmerer, Jörg Heuer, Hermann Hellwagner |
Bitstream syntax description-based adaptation in streaming and constrained environments. |
IEEE Trans. Multim. |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Lucy Vanderwende, William B. Dolan |
What Syntax Can Contribute in the Entailment Task. |
MLCW |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Arwen Hutt, Jenn Riley |
Semantics and syntax of dublin core usage in open archives initiative data providers of cultural heritage materials. |
JCDL |
2005 |
DBLP DOI BibTeX RDF |
metadata quality, digital libraries, interoperability, dublin core, open archives initiative |
16 | Marinos G. Georgiades, Andreas S. Andreou, Constantinos S. Pattichis |
A Requirements Engineering Methodology Based On Natural Language Syntax and Semantics. |
RE |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Anita Wasilewska, Ernestina Menasalvas Ruiz |
A Classification Model: Syntax and Semantics for Classification. |
RSFDGrC (2) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Yuling Liu, Xingming Sun, Yong Wu |
A Natural Language Watermarking Based on Chinese Syntax. |
ICNC (3) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Vasco Amaral 0001, Sven Helmer, Guido Moerkotte |
Formally Specifying the Syntax and Semantics of a Visual Query Language for the Domain of High Energy Physics Data Analysis. |
VL/HCC |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #301 - #400 of 6542 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|