|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 7(1), pp. 25-47, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sanskrit Computational Linguistics ![In: Sanskrit Computational Linguistics, First and Second International Symposia Rocquencourt, France, October 29-31, 2007 Providence, RI, USA, May 15-17, 2008 Revised Selected and Invited Papers, pp. 95-126, 2008, Springer, 978-3-642-00154-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sanskrit Computational Linguistics ![In: Sanskrit Computational Linguistics, First and Second International Symposia Rocquencourt, France, October 29-31, 2007 Providence, RI, USA, May 15-17, 2008 Revised Selected and Invited Papers, pp. 33-94, 2008, Springer, 978-3-642-00154-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings, pp. 158-173, 2008, Springer, 978-3-540-89438-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008, 28 July - 1 August 2008, Turku, Finland, pp. 92-99, 2008, IEEE Computer Society, 978-0-7695-3262-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOUPS ![In: Proceedings of the 4th Symposium on Usable Privacy and Security, SOUPS 2008, Pittsburgh, Pennsylvania, USA, July 23-25, 2008, pp. 65-73, 2008, ACM, 978-1-60558-276-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (46) ![In: Objects, Components, Models and Patterns, 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings, pp. 372-391, 2008, Springer, 978-3-540-69823-4. The full citation details ...](Pics/full.jpeg) |
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. ![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. 19-38, 2007, ACM, 978-1-59593-786-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JSAI ![In: New Frontiers in Artificial Intelligence, JSAI 2007 Conference and Workshops, Miyazaki, Japan, June 18-22, 2007, Revised Selected Papers, pp. 160-173, 2007, Springer, 978-3-540-78196-7. The full citation details ...](Pics/full.jpeg) |
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. ![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 |
18 | Paul B. Mann |
A translational BNF grammar notation (TBNF). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 41(4), pp. 16-23, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Empir. Softw. Eng. ![In: Empir. Softw. Eng. 11(4), pp. 493-522, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
High. Order Symb. Comput. ![In: High. Order Symb. Comput. 19(2-3), pp. 197-230, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![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. 172-183, 2006, ACM, 1-59593-309-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 31(1), pp. 5-46, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MERLIN ![In: ACM SIGPLAN International Conference on Functional Programming, Workshop on Mechanized reasoning about languages with variable binding, MERLIN 2005, Tallinn, Estonia, September 30, 2005, pp. 2-12, 2005, ACM, 978-1-59593-072-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICME ![In: Proceedings of the 2005 IEEE International Conference on Multimedia and Expo, ICME 2005, July 6-9, 2005, Amsterdam, The Netherlands, pp. 699-702, 2005, IEEE Computer Society, 0-7803-9331-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 8(4), pp. 281-290, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 8(10), pp. 668-675, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Evaluated syntax, Fuzzy approximation, Fuzzy logic, Fuzzy equality |
18 | Hannes Leitgeb, Alexander Hieke |
Circular Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 13(3), pp. 341-371, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MERLIN ![In: Eighth ACM SIGPLAN International Conference on Functional Programming, Workshop on Mechanized reasoning about languages with variable binding, MERLIN 2003, Uppsala, Sweden, August 2003, 2003, ACM, 978-1-58113-800-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
formal compiler, higher-order abstract syntax, logical programming environment |
18 | Chito Jovellanos |
Semantic and syntactic interoperability: in transactional systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC ![In: Proceedings 4th ACM Conference on Electronic Commerce (EC-2003), San Diego, California, USA, June 9-12, 2003, pp. 266-267, 2003, ACM, 1-58113-679-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
semantics, interoperability, integration, transformation, syntax |
18 | Marcelo P. Fiore |
Semantic analysis of normalisation by evaluation for typed lambda calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, October 6-8, 2002, Pittsburgh, PA, USA (Affiliated with PLI 2002), pp. 26-37, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Symposium on Document Engineering ![In: Proceedings of the 2002 ACM Symposium on Document Engineering, McLean, Virginia, USA, November 8-9, 2002, pp. 34-41, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: 4th International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2001), 2-4 May 2001, Magdeburg, Germany, pp. 306-, 2001, IEEE Computer Society, 0-7695-1089-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Document Anal. Recognit. ![In: Int. J. Document Anal. Recognit. 2(4), pp. 211-221, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 5-8 December 2000, Singapore, pp. 282-, 2000, IEEE Computer Society, 0-7695-0915-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCRE ![In: Proceedings of the Seventh Working Conference on Reverse Engineering, WCRE'00, Brisbane, Australia, November 23-25, 2000, pp. 284-286, 2000, IEEE Computer Society, 0-7695-0881-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Software exchange format, SEF, data exchange, schema, abstract syntax tree, AST |
18 | Alfs T. Berztiss |
Usage Anomalies and Internationalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: 11th International Workshop on Database and Expert Systems Applications (DEXA'00), 6-8 September 2000, Greenwich, London, UK, pp. 108-114, 2000, IEEE Computer Society, 0-7695-0680-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSAC ![In: 16th Annual Computer Security Applications Conference (ACSAC 2000), 11-15 December 2000, New Orleans, Louisiana, USA, pp. 67-76, 2000, IEEE Computer Society, 0-7695-0859-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 20(5), pp. 980-1013, 1998. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (2) ![In: Proceedings 1997 International Conference on Image Processing, ICIP '97, Santa Barbara, California, USA, October 26-29, 1997, pp. 803-806, 1997, IEEE Computer Society, 0-8186-8183-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 / ICSC '97), 2-5 December 1997, Clear Water Bay, Hong Kong, pp. 511-512, 1997, IEEE Computer Society, 0-8186-8271-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 21st International Computer Software and Applications Conference (COMPSAC '97), 11-15 August 1997, Washington, DC, USA, pp. 60-65, 1997, IEEE Computer Society, 0-8186-8105-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoopIS ![In: Proceedings of the Second IFCIS International Conference on Cooperative Information Systems, Kiawah Island, South Carolina, USA, June 24-27, 1997, Sponsored by IFCIS, The Intn'l Foundation on Cooperative Information Systems, pp. 151-159, 1997, IEEE Computer Society, 0-8186-7946-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 9th International Conference on Tools with Artificial Intelligence, ICTAI '97, Newport Beach, CA, USA, November 3-8, 1997, pp. 414-421, 1997, IEEE Computer Society, 0-8186-8203-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE METRICS ![In: 3rd IEEE International Software Metrics Symposium (METRICS 1996), From Measurement to Empirical Results, March 25-26, 1996, Berlin, Germany, pp. 3-9, 1996, IEEE Computer Society, 0-8186-7364-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 18th International Conference on Software Engineering, Berlin, Germany, March 25-29, 1996, Proceedings., pp. 418-427, 1996, IEEE Computer Society, 0-8186-7246-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 1996 International Conference on Software Maintenance (ICSM '96), 4-8 November 1996, Monterey, CA, USA, Proceedings, pp. 359-, 1996, IEEE Computer Society, 0-8186-7677-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: Proceedings 1995 International Conference on Image Processing, Washington, DC, USA, October 23-26, 1995, pp. 89-92, 1995, IEEE Computer Society, 0-8186-7310-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSFW ![In: The Eighth IEEE Computer Security Foundations Workshop (CSFW '95), March 13-15, 1995, Kenmare, County Kerry, Ireland, pp. 44-, 1995, IEEE Computer Society, 0-8186-7033-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASYNC ![In: Second Working Conference on Asynchronous Design Methodologies, May 30-31, 1995, London, England, UK, pp. 32-, 1995, IEEE Computer Society, 0-8186-7098-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPPS ![In: Proceedings of IPPS '95, The 9th International Parallel Processing Symposium, April 25-28, 1995, Santa Barbara, California, USA, pp. 766-772, 1995, IEEE Computer Society, 0-8186-7074-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL ![In: Proceedings 11th International IEEE Symposium on Visual Languages, Darmstadt, Germany, September 5-9, 1995, pp. 61-68, 1995, IEEE Computer Society, 0-8186-7045-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (3) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 439-450, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (4) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 927-932, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), November 6-10, 1995, Fort Lauderdale, Florida, USA, pp. 286-, 1995, IEEE Computer Society, 0-8186-7123-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), November 6-10, 1995, Fort Lauderdale, Florida, USA, pp. 137-144, 1995, IEEE Computer Society, 0-8186-7123-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 3(2), pp. 206-220, 1992. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 18(12), pp. 1076-1100, 1992. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(7), pp. 710-722, 1990. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(8), pp. 822-828, 1990. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 12(9), pp. 883-905, 1990. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(5), pp. 569-574, 1989. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings, pp. 152-166, 1989, Springer, 3-540-51081-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 14(8), pp. 1098-1109, 1988. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 14(5), pp. 559-574, 1988. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 14(6), pp. 720-741, 1988. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 14(5), pp. 671-675, 1988. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference ![In: Proceedings of the 20th Annual Southeast Regional Conference, 1982, Knoxville, Tennessee, USA, April 1-3, 1982, pp. 246-252, 1982, ACM, 0-89791-071-0. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
extended LALR(k) grammars, semantics, syntax, parser generators |
18 | Robert Balzer, David J. Farber |
APAREL - A parse-request language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 12(11), pp. 624-631, 1969. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EICS ![In: Proceedings of the 3rd ACM SIGCHI Symposium on Engineering Interactive Computing System, EICS 2011, Pisa, Italy, June 13-16, 2011, pp. 79-84, 2011, ACM, 978-1-4503-0670-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Vincenzo Manca, María Dolores Jiménez-López |
Recombination Patterns for Natural Syntax. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWINAC (1) ![In: Methods and Models in Artificial and Natural Computation. A Homage to Professor Mira.s Scientific Legacy, Third International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2009, Santiago de Compostela, Spain, June 22-26, 2009, Proceedings, Part I, pp. 315-324, 2009, Springer, 978-3-642-02263-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Luis Pedro, Matteo Risoldi, Didier Buchs, Bruno Barroca, Vasco Amaral 0001 |
Composing Visual Syntax for Domain Specific Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (2) ![In: Human-Computer Interaction. Novel Interaction Methods and Techniques, 13th International Conference, HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part II, pp. 889-898, 2009, Springer, 978-3-642-02576-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Michel Chilowicz, Étienne Duris, Gilles Roussel 0001 |
Syntax tree fingerprinting for source code similarity detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPC ![In: The 17th IEEE International Conference on Program Comprehension, ICPC 2009, Vancouver, British Columbia, Canada, May 17-19, 2009, pp. 243-247, 2009, IEEE Computer Society, 978-1-4244-3998-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 34(1), pp. 65-81, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innov. Syst. Softw. Eng. ![In: Innov. Syst. Softw. Eng. 4(3), pp. 249-257, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference, 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008. Proceedings, pp. 308-320, 2008, Springer, 978-3-540-87729-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
tree diagrams, non-subordination, multidominance, usability |
16 | Nikolay Malitsky |
Processing heterogeneous abstract syntax trees with the mutable class pattern. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-13, 2007, Nashville, TN, USA, pp. 697-702, 2008, ACM, 978-1-60558-220-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WAIM ![In: The Ninth International Conference on Web-Age Information Management, WAIM 2008, July 20-22, 2008, Zhangjiajie, China, pp. 105-112, 2008, IEEE Computer Society, 978-0-7695-3185-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Patrick Düssel, Christian Gehl, Pavel Laskov, Konrad Rieck |
Incorporation of Application Layer Protocol Syntax into Anomaly Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICISS ![In: Information Systems Security, 4th International Conference, ICISS 2008, Hyderabad, India, December 16-20, 2008. Proceedings, pp. 188-202, 2008, Springer, 978-3-540-89861-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008, 28 July - 1 August 2008, Turku, Finland, pp. 1288-1294, 2008, IEEE Computer Society, 978-0-7695-3262-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DELTA ![In: 4th IEEE International Symposium on Electronic Design, Test and Applications, DELTA 2008, Hong Kong, January 23-25, 2008, pp. 587-591, 2008, IEEE Computer Society, 978-0-7695-3110-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland, pp. 217-221, 2008, IEEE Computer Society, 0-7695-3139-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Luca Bellotti |
Formalization, Syntax and the Standard Model of Arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 154(2), pp. 199-229, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
eScience ![In: Third International Conference on e-Science and Grid Computing, e-Science 2007, 10-13 December 2007, Bangalore, India, pp. 441-448, 2007, IEEE Computer Society, 0-7695-3064-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSEA ![In: Proceedings of the Second International Conference on Software Engineering Advances (ICSEA 2007), August 25-31, 2007, Cap Esterel, French Riviera, France, pp. 38, 2007, IEEE Computer Society, 0-7695-2937-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
All About Maude ![In: All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic, pp. 39-59, 2007, Springer, 978-3-540-71940-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Wenfei Fan, Gao Cong, Philip Bohannon |
Querying xml with update syntax. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the ACM SIGMOD International Conference on Management of Data, Beijing, China, June 12-14, 2007, pp. 293-304, 2007, ACM, 978-1-59593-686-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACAL ![In: Progress in Artificial Life, Third Australian Conference, ACAL 2007, Gold Coast, Australia, December 4-6, 2007, Proceedings, pp. 320-332, 2007, Springer, 978-3-540-76930-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (3) ![In: Computational Science and Its Applications - ICCSA 2007, International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings. Part III, pp. 45-54, 2007, Springer, 978-3-540-74482-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multim. Syst. ![In: Multim. Syst. 11(5), pp. 403-421, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 15(4), pp. 807-818, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICHIT ![In: Advances in Hybrid Information Technology, First International Conference, ICHIT 2006, Jeju Island, Korea, November 9-11, 2006, Revised Selected Papers, pp. 281-291, 2006, Springer, 978-3-540-77367-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Kazutoshi Sasahara, Yasuki Kakishita, Tetsuro Nishino, Miki Takahasi, Kazuo Okanoya |
Constructing Song Syntax by Automata Induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGI ![In: Grammatical Inference: Algorithms and Applications, 8th International Colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006, Proceedings, pp. 351-353, 2006, Springer, 3-540-45264-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Menno van Zaanen, Jeroen Geertzen |
Grammatical Inference for Syntax-Based Statistical Machine Translation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGI ![In: Grammatical Inference: Algorithms and Applications, 8th International Colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006, Proceedings, pp. 356-357, 2006, Springer, 3-540-45264-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Josefina Sierra-Santibáñez |
Propositional Logic Syntax Acquisition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EELC ![In: Symbol Grounding and Beyond, Third International Workshop on the Emergence and Evolution of Linguistic Communication, EELC 2006, Rome, Italy, September 30 - October 1, 2006, Proceedings, pp. 128-142, 2006, Springer, 3-540-45769-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | David Fisher, Olin Shivers |
Static analysis for syntax objects. ![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. 111-121, 2006, ACM, 1-59593-309-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2006, Portland, Oregon, USA, November 5-11, 2006, pp. 175-185, 2006, ACM, 1-59593-468-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
runtime monitoring, SQL injection, dynamic tainting |
16 | Åsa Lindström |
On the Syntax and Semantics of Architectural Principles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 39th Hawaii International International Conference on Systems Science (HICSS-39 2006), CD-ROM / Abstracts Proceedings, 4-7 January 2006, Kauai, HI, USA, 2006, IEEE Computer Society, 0-7695-2507-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | David Tugwell |
Language Modelling with Dynamic Syntax. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TSD ![In: Text, Speech and Dialogue, 9th International Conference, TSD 2006, Brno, Czech Republic, September 11-15, 2006, Proceedings, pp. 285-292, 2006, Springer, 3-540-39090-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | O. G. Sharov, A. N. Afanas'ev |
Syntax-Directed Implementation of Visual Languages Based on Automaton Graphical Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Program. Comput. Softw. ![In: Program. Comput. Softw. 31(6), pp. 332-339, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Joerg Evermann, Yair Wand |
Toward Formalizing Domain Modeling Semantics in Language Syntax. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 31(1), pp. 21-37, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Multim. ![In: IEEE Trans. Multim. 7(3), pp. 463-470, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Lucy Vanderwende, William B. Dolan |
What Syntax Can Contribute in the Entailment Task. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MLCW ![In: Machine Learning Challenges, Evaluating Predictive Uncertainty, Visual Object Classification and Recognizing Textual Entailment, First PASCAL Machine Learning Challenges Workshop, MLCW 2005, Southampton, UK, April 11-13, 2005, Revised Selected Papers, pp. 205-216, 2005, Springer, 3-540-33427-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JCDL ![In: ACM/IEEE Joint Conference on Digital Libraries, JCDL 2005, Denver, CO, USA, June 7-11, 2005, Proceedings, pp. 262-270, 2005, ACM, 1-58113-876-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: 13th IEEE International Conference on Requirements Engineering (RE 2005), 29 August - 2 September 2005, Paris, France, pp. 473-474, 2005, IEEE Computer Society, 0-7695-2425-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Anita Wasilewska, Ernestina Menasalvas Ruiz |
A Classification Model: Syntax and Semantics for Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSFDGrC (2) ![In: Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing, 10th International Conference, RSFDGrC 2005, Regina, Canada, August 31 - September 3, 2005, Proceedings, Part II, pp. 59-68, 2005, Springer, 3-540-28660-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Yuling Liu, Xingming Sun, Yong Wu |
A Natural Language Watermarking Based on Chinese Syntax. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNC (3) ![In: Advances in Natural Computation, First International Conference, ICNC 2005, Changsha, China, August 27-29, 2005, Proceedings, Part III, pp. 958-961, 2005, Springer, 3-540-28320-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL/HCC ![In: 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), 21-24 September 2005, Dallas, TX, USA, pp. 251-258, 2005, IEEE Computer Society, 0-7695-2443-5. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|