|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7949 occurrences of 3901 keywords
|
|
|
Results
Found 13977 publication records. Showing 13974 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
12 | I. S. W. B. Prasetya |
On the Style of Mechanical Proving. |
HUG |
1993 |
DBLP DOI BibTeX RDF |
|
12 | Gregory D. Abowd, Robert Allen, David Garlan |
Using Style to Understand Descriptions of Software Architecture. |
SIGSOFT FSE |
1993 |
DBLP DOI BibTeX RDF |
|
12 | Chris Hankin, Daniel Le Métayer, David Sands 0001 |
A Parallel Programming Style and Its Algebra of Programs. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
|
12 | Amr Sabry, Matthias Felleisen |
Reasoning About Programs in Continuation-Passing Style. |
LISP and Functional Programming |
1992 |
DBLP DOI BibTeX RDF |
|
12 | Ketil Stølen |
An Attempt to Reason about Shared-State Concurrency in the Style of VDM. |
VDM Europe (1) |
1991 |
DBLP DOI BibTeX RDF |
|
12 | Andrea Corradini 0001, Ugo Montanari |
Towards a Process Semantics in the Logic Programming Style. |
STACS |
1990 |
DBLP DOI BibTeX RDF |
|
12 | Paul W. Oman, Curtis R. Cook |
Programming Style Authorship Analysis. |
ACM Conference on Computer Science |
1989 |
DBLP DOI BibTeX RDF |
|
12 | Andrew W. Appel, Trevor Jim |
Continuation-Passing, Closure-Passing Style. |
POPL |
1989 |
DBLP DOI BibTeX RDF |
ML |
12 | G. D. Adams, Carlo H. Séquin |
Template Style Considerations for Sea-of-Gates Layout Generation. |
DAC |
1989 |
DBLP DOI BibTeX RDF |
|
12 | Ted Tenny |
Leadership style vs. succssus in student chief programmer teams. |
SIGCSE |
1987 |
DBLP DOI BibTeX RDF |
|
12 | S. Kamal Abdali, David S. Wise |
Standard, Storeless Semantics for ALGOL-Style Block Structure and Call-by Name. |
Mathematical Foundations of Programming Semantics |
1985 |
DBLP DOI BibTeX RDF |
|
12 | Thomas W. Christopher, Philip J. Hatcher, Ronald C. Kukuk |
Using dynamic programming to generate optimized code in a Graham-Glanville style code generator. |
SIGPLAN Symposium on Compiler Construction |
1984 |
DBLP DOI BibTeX RDF |
Earley's Algorithm, Graham-Glanville, Compiling, Dynamic Programming, Code Generation |
12 | Mitchell Wand |
A Types-as-Sets Semantics for Milner-Style Polymorphism. |
POPL |
1984 |
DBLP DOI BibTeX RDF |
|
12 | Motoi Yamagiwa, Katsuyoshi Matsumoto, Makoto Murakami, Minoru Uehara |
A Sensing and Experimental Analysis of Life Environment for Ecological Lifestyle. |
NBiS |
2011 |
DBLP DOI BibTeX RDF |
indoor life environment monitoring, ecological life style, life log |
12 | Dameng Dai, Chengwen Wu |
The Study of Individuation Products Customization Systems Based on Wiki. |
WKDD |
2010 |
DBLP DOI BibTeX RDF |
Products Customization Design, Product variety design, component, Wiki, style |
12 | Ketrina Yim, Daniel D. Garcia, Sally Ahn |
Computer science illustrated: engaging visual aids for computer science education. |
SIGCSE |
2010 |
DBLP DOI BibTeX RDF |
introductory curriculum, learning style, illustration, visual learning, cartoon |
12 | Wen-Pinn Fang |
Parallel Processing for Secret Image Sharing. |
ISPA |
2010 |
DBLP DOI BibTeX RDF |
open mpi, security, parallel processing, style, secret image sharing |
12 | Cristinel Ababei |
Network on chip design and optimization using specialized influence models. |
DAC |
2010 |
DBLP DOI BibTeX RDF |
VFI design style, optimization, network on chip, influence model |
12 | Sven Laqua, Martina Angela Sasse |
Exploring blog spaces: a study of blog reading experiences using dynamic contextual displays. |
BCS HCI |
2009 |
DBLP BibTeX RDF |
contextual user interfaces, focus + context interfaces, eye tracking, blogging, contextualization, cognitive style |
12 | Hans-Martin Pohl, Benedikt Deicke, Jan-Torsten Milde |
From Paper to Module - An Integrated Environment for Generating SCORM Compliant Moodle Courses Out of Text and Multimedia Elements. |
HCI (4) |
2009 |
DBLP DOI BibTeX RDF |
SCORM 2004, creation of content, E-Learning, transformation, modules, XSLT, LMS, moodle, user friendly, LOM, style sheet, lesson |
12 | Wang-Chin Tsai, Chang-Franw Lee |
A Study on the Icon Feedback Types of Small Touch Screen for the Elderly. |
HCI (6) |
2009 |
DBLP DOI BibTeX RDF |
small touch screen, icon feedback, cognitrone style, older adults |
12 | Haruhiko Urokohara, Tsunehisa Yamaguchi, Hiroaki Nobuta, Shuichi Kanda |
A Proposal for "Work-Effective Guidelines" for the Growth of HCD. |
HCI (10) |
2009 |
DBLP DOI BibTeX RDF |
Style Manual, Guidelines, Effectiveness, Human centered design |
12 | Junguo Li, Xiangping Chen, Gang Huang 0001, Hong Mei 0001, Franck Chauvel |
Selecting Fault Tolerant Styles for Third-Party Components with Model Checking Support. |
CBSE |
2009 |
DBLP DOI BibTeX RDF |
fault-tolerant style, Fault tolerance, model checking, software architecture |
12 | Nicholas Caporusso |
Personality-aware interfaces for learning applications. |
SIGUCCS |
2009 |
DBLP DOI BibTeX RDF |
experiential learning theory, visual auditory kinesthetic, web-based educational system, learning object, learning style |
12 | Marcus Reul |
Bringing usability to industrial control systems. |
CHI Extended Abstracts |
2009 |
DBLP DOI BibTeX RDF |
hci design patterns, industrial control software, usability guidelines, style guides |
12 | YeiBeech Jang, SeoungHo Ryu |
Exploring Game Leadership and Online Game Community. |
VS-GAMES |
2009 |
DBLP DOI BibTeX RDF |
Game Leadership, Game Community, Game play style, Online Games |
12 | Khaldoun Al Faraj, Mustapha Mojahid, Nadine Vigouroux |
3DKey: An Accordion-Folding Based Virtual Keyboard for Small Screen. |
INTERACT (1) |
2009 |
DBLP DOI BibTeX RDF |
3D key, accordion folds style, UMPCs, mobile devices, PDAs, handhelds, Text input, virtual keyboard, prediction system |
12 | Behzad Bastani |
Process-oriented abstraction of the complex evolvable systems: problem model construction. |
ACM SIGSOFT Softw. Eng. Notes |
2008 |
DBLP DOI BibTeX RDF |
evolvable systems, process-oriented modeling, requirements and architecture modeling, modeling, software engineering, design, software architecture, framework, specification, design patterns, reuse, abstractions, conceptual modeling, methodologies, complex systems, method, requirements analysis, open systems, architectural style |
12 | Daniel G. Aliaga, Bedrich Benes, Carlos A. Vanegas, Nathan Andrysco |
Interactive Reconfiguration of Urban Layouts. |
IEEE Computer Graphics and Applications |
2008 |
DBLP DOI BibTeX RDF |
urban reconstruction, texture synthesis, geometric constraints, image synthesis, procedural modeling, style |
12 | Rose H. Abdul Rauf, Ulrich Berger 0001, Anton Setzer |
A Provably Correct Translation of the lambda -Calculus into a Mathematical Model of C++. |
Theory Comput. Syst. |
2008 |
DBLP DOI BibTeX RDF |
Simply typed lambda-calculus, Kripke-style logical relation, Object-oriented programming, Functional programming, Inheritance, Denotational semantics, Correctness proof |
12 | Tetsuo Yamabe, Kiyotaka Takahashi, Tatsuo Nakajima |
Towards mobility oriented interaction design: experiments in pedestrian navigation on mobile devices. |
MobiQuitous |
2008 |
DBLP DOI BibTeX RDF |
mobile computers, interface design, interaction style, pedestrian navigation |
12 | Bahman Kheradmand Boroujeni, Christian Piguet, Yusuf Leblebici |
Reverse Vgs Static CMOS (RVGS-SCMOS); A New Technique for Dynamically Compensating the Process Variations in Sub-threshold Designs. |
PATMOS |
2008 |
DBLP DOI BibTeX RDF |
Sub-VToperation, variation compensation, logic style, active-mode leakage, process variations |
12 | Rafael Soares, Ney Laert Vilar Calazans, Victor Lomné, Philippe Maurine, Lionel Torres, Michel Robert |
Evaluating the robustness of secure triple track logic through prototyping. |
SBCCI |
2008 |
DBLP DOI BibTeX RDF |
logic style, FPGA, side-channel attacks, DPA, DES, CPA |
12 | Jian Xiang, Hongli Zhu |
Automatic Subspace Synthesis of Motion Styles Based on Isomap. |
ICIC (2) |
2008 |
DBLP DOI BibTeX RDF |
synthesis, subspace, Isomap, Motion style |
12 | Yuh-Ming Cheng, Peng-Fei Chen |
Building an Online Game-Based Learning System for Elementary School. |
IIH-MSP |
2008 |
DBLP DOI BibTeX RDF |
Online Game-based Learning, Online Game, Learning Style, Computer Assisted Instruction |
12 | Tetsuo Yamabe, Kiyotaka Takahashi, Tatsuo Nakajima |
Design issues and an empirical study in mobility oriented service development. |
Mobile Middleware |
2008 |
DBLP DOI BibTeX RDF |
mobile computers, interface design, interaction style, pedestrian navigation |
12 | Hiroko Kato, Keng T. Tan |
Pervasive 2D Barcodes for Camera Phone Applications. |
IEEE Pervasive Comput. |
2007 |
DBLP DOI BibTeX RDF |
user interface, pervasive computing, mobile applications, interaction style |
12 | David A. Schmidt |
State-transition machines, revisited. |
High. Order Symb. Comput. |
2007 |
DBLP DOI BibTeX RDF |
Krivine machine, Lambda-calculus, Denotational semantics, Continuation-passing style, Defunctionalization |
12 | Iris A. Junglas, Norman A. Johnson, Douglas J. Steel, Chon Abraham, Paul Mac Loughlin |
Identity formation, learning styles and trust in virtual worlds. |
Data Base |
2007 |
DBLP DOI BibTeX RDF |
identity formation, social laboratories, trust, virtual world, learning style |
12 | Hideki Aoyama, Hiroki Yamaguchi |
Sketch Based Modeling System. |
HCI (14) |
2007 |
DBLP DOI BibTeX RDF |
Style design, idea embodiment, 3D model construction, Sketch supporting system, Sketch |
12 | Xingrong Xiao, Chen Zhao, Shaoke Zhang |
Do We Talk Differently: Cross Culture Study on Conference Call. |
HCI (10) |
2007 |
DBLP DOI BibTeX RDF |
Communication Style, Culture, Conference Call |
12 | Hans-Martin Pohl, Patrycja Tulinska, Jan-Torsten Milde |
Efficient Creation of Multi Media eLearning Modules. |
HCI (9) |
2007 |
DBLP DOI BibTeX RDF |
SCORM 2004, creation of content, transformation, modules, XSLT, eLearning, user friendly, LOM, style sheet, lesson |
12 | Andries J. Burger, Pieter J. Blignaut |
Predicting the Outcome of a Computer Literacy Course Based on a Candidate's Personal Characteristics. |
HCI (4) |
2007 |
DBLP DOI BibTeX RDF |
computer proficiency, spatial visualisation ability, numerical ability, scholastic ability, mathematics ability, personality, learning style, anxiety, computer attitude |
12 | Cristina Tîrnauca, Satoshi Kobayashi |
A Characterization of the Language Classes Learnable with Correction Queries. |
TAMC |
2007 |
DBLP DOI BibTeX RDF |
Gold-style learning, query learning, correction query |
12 | Juan C. Quiroz, Sergiu M. Dascalu, Sushil J. Louis |
Human guided evolution of XUL user interfaces. |
CHI Extended Abstracts |
2007 |
DBLP DOI BibTeX RDF |
style guidelines, user interface design, interactive genetic algorithm, XUL |
12 | Brenton D. Faber |
The problem of extraneous text: opposition to organizational change, dynamic & synoptic orientations. |
SIGDOC |
2007 |
DBLP DOI BibTeX RDF |
discourse studies, managing change, organizational communication, resistance to change, synoptic style, dynamic |
12 | Fazel Naghdy, Diana Wood Conroy, Hugh Armitage |
Geometric and Haptic Modelling of Textile Artefacts. |
VISUAL |
2007 |
DBLP DOI BibTeX RDF |
textile artefact, weave style, Geometric model, haptic rendering, finite element model |
12 | Jacek Kobusinski |
Failure Detection Service for Large Scale Systems. |
KES-AMSTA |
2007 |
DBLP DOI BibTeX RDF |
gossip-style protocol, fault tolerance, multi-agent systems, failure detector, large scale systems |
12 | Nourchène Elleuch, Adel Khalfallah, Samir Ben Ahmed |
ArchMDE Approach for the Development of Embedded Real Time Systems. |
Ada-Europe |
2007 |
DBLP DOI BibTeX RDF |
TURTLE, Model Transformation, Meta-model, Architectural Style, MDE, Embedded Real Time System |
12 | Miles Efron |
Using cocitation information to estimate political orientation in web documents. |
Knowl. Inf. Syst. |
2006 |
DBLP DOI BibTeX RDF |
Political orientation, Document classification, Opinion mining, Style analysis |
12 | Greg Goth |
XML: The Center of Attention Up and Down the Stack. |
IEEE Distributed Syst. Online |
2006 |
DBLP DOI BibTeX RDF |
Extensible Style Language Transformation, XML, service-oriented architecture, XSLT |
12 | Markus Jakobsson, Sid Stamm |
Invasive browser sniffing and countermeasures. |
WWW |
2006 |
DBLP DOI BibTeX RDF |
browser cache, sniffing, personalization, phishing, cascading style sheets |
12 | Benfeng Chen, Vincent Y. Shen |
Transforming web pages to become standard-compliant through reverse engineering. |
W4A |
2006 |
DBLP DOI BibTeX RDF |
HTML tidy, W3C recommendations, rendering engine, HTML, browser, web page, cascade style sheets |
12 | Rebecca Lunsford, Sharon L. Oviatt |
Human perception of intended addressee during computer-assisted meetings. |
ICMI |
2006 |
DBLP DOI BibTeX RDF |
acoustic-prosodic cues, dialogue style, human-computer teamwork, intended addressee, open-microphone engagement, gaze, multiparty interaction |
12 | Shlomo Dubnov |
Computer audition: an introduction and research survey. |
ACM Multimedia |
2006 |
DBLP DOI BibTeX RDF |
music cognition, music information retrieval, style, audio processing, computer audition |
12 | Olin Shivers, Matthew Might |
Continuations and transducer composition. |
PLDI |
2006 |
DBLP DOI BibTeX RDF |
lambda, program analysis, continuations, fusion, language design, functional languages, stream processing, calculus, flow analysis, continuation-passing style (CPS), coroutines |
12 | Levent Burak Kara, Chris M. D'Eramo, Kenji Shimada |
Pen-based styling design of 3D geometry using concept sketches and template models. |
Symposium on Solid and Physical Modeling |
2006 |
DBLP DOI BibTeX RDF |
physically-based deformation, style design, camera calibration, surfacing, pen computing, 3D sketching |
12 | Ryan Levering, Michal Cutler |
The portrait of a common HTML web page. |
ACM Symposium on Document Engineering |
2006 |
DBLP DOI BibTeX RDF |
visual, world wide web, survey, HTML, feature, javascript, script, style, CSS |
12 | Haixia Zhao, Benjamin K. Smith, Kent L. Norman, Catherine Plaisant, Ben Shneiderman |
Interactive Sonification of Choropleth Maps. |
IEEE Multim. |
2005 |
DBLP DOI BibTeX RDF |
Auditory (non-speech) feedback, evaluation, user interfaces, sound, interaction style, universal usability |
12 | Simon Giesecke, Timo Warns, Wilhelm Hasselbring |
Availability simulation of peer-to-peer architectural styles. |
ACM SIGSOFT Softw. Eng. Notes |
2005 |
DBLP DOI BibTeX RDF |
peer-to-peer techniques, simulation, architectural style |
12 | Stefano Burigat, Luca Chittaro |
Location-aware visualization of VRML models in GPS-based mobile guides. |
Web3D |
2005 |
DBLP DOI BibTeX RDF |
evaluation, mobile devices, VRML, interaction style, mobile guides, 3D virtual environments |
12 | Paul Tarau, Rada Mihalcea, Elizabeth Figa |
Semantic document engineering with WordNet and PageRank. |
SAC |
2005 |
DBLP DOI BibTeX RDF |
PageRank-style graph algorithms, semantics-based document processing, natural language processing, logic programming, WordNet, word sense disambiguation |
12 | Ananth Raghavan, Divya Rangarajan, Rao Shen, Marcos André Gonçalves, Naga Srinivas Vemuri, Weiguo Fan, Edward A. Fox |
Schema mapper: a visualization tool for DL integration. |
JCDL |
2005 |
DBLP DOI BibTeX RDF |
XSLT style sheet, hyperbolic trees, schemas |
12 | Greg Pettyjohn, John Clements, Joe Marshall, Shriram Krishnamurthi, Matthias Felleisen |
Continuations from generalized stack inspection. |
ICFP |
2005 |
DBLP DOI BibTeX RDF |
A-normal form, scheme, continuations, web programming, continuation-passing style, stack inspection, defunctionalization |
12 | Scott R. Tilley, Steve Murphy, Shihong Huang |
5th international workshop on graphical documentation: determining the barriers to adoption of UML diagrams. |
SIGDOC |
2005 |
DBLP DOI BibTeX RDF |
UML, adoption, style, graphical documentation |
12 | Stefan Marti, Chris Schmandt |
Physical embodiments for mobile communication agents. |
UIST |
2005 |
DBLP DOI BibTeX RDF |
human style non-verbal cues, interruptions, embodiment, conversational agent, robotic user interface |
12 | Miguel P. Monteiro 0001, João M. Fernandes |
Towards a catalog of aspect-oriented refactorings. |
AOSD |
2005 |
DBLP DOI BibTeX RDF |
object-oriented programming, aspect-oriented programming, refactoring, code smells, programming style |
12 | Lloyd Rutledge, Martin Alberink, Lynda Hardman, Mettina Veenstra |
Generalized semantics-to-document derivation. |
Hypertext |
2005 |
DBLP DOI BibTeX RDF |
clustering, semantics, hypermedia, style, document structure, presentation generation |
12 | Vincent Quint, Irène Vatton |
Towards active web clients. |
ACM Symposium on Document Engineering |
2005 |
DBLP DOI BibTeX RDF |
style languages, web user agent, XML, authoring, XML documents, compound documents |
12 | Caroline Hummels, Aadjan J. C. van der Helm |
ISH and the search for resonant tangible interaction. |
Pers. Ubiquitous Comput. |
2004 |
DBLP DOI BibTeX RDF |
Multi-media installation, Prototyping, Product design, Interaction style, Resonance |
12 | Jacob Matthews, Robert Bruce Findler, Paul T. Graunke, Shriram Krishnamurthi, Matthias Felleisen |
Automatically Restructuring Programs for the Web. |
Autom. Softw. Eng. |
2004 |
DBLP DOI BibTeX RDF |
lambda lifting, Web programming, continuation-passing style, CGI, closure conversion |
12 | Yasushi Kambayashi, Henry F. Ledgard |
The Separation Principle: A Programming Paradigm. |
IEEE Softw. |
2004 |
DBLP DOI BibTeX RDF |
understandability, programming paradigm, programming style |
12 | Belinda Teoh Soo Phing, Mohamad Izani Zainal Abidin, Aishah Abdul Razak |
Adaptation of moveable pop-up technique in 3D animation. |
Comput. Entertain. |
2004 |
DBLP DOI BibTeX RDF |
movable, pop-up, technique/style, animation, production, storytelling, continuity, 3D animation |
12 | Anthony Finkelstein, Clare Gryce, Joe Lewis-Bowen |
Relating Requirements and Architectures: A Study of Data-Grids. |
J. Grid Comput. |
2004 |
DBLP DOI BibTeX RDF |
suitability, evaluation, architecture, requirements, survey, data-Grid, style |
12 | Peng Li, Steve Zdancewic |
Advanced control flow in Java card programming. |
LCTES |
2004 |
DBLP DOI BibTeX RDF |
trampolined style, smart card, continuation, control flow, Java card, CPS |
12 | Andrew Begel, Daniel D. Garcia, Steven A. Wolfman |
Kinesthetic learning in the classroom. |
SIGCSE |
2004 |
DBLP DOI BibTeX RDF |
Kinesthetic learning style, sensorimotor learning, active learning |
12 | Anne McDougall |
Issues in the Assessment of Real-Life Learning with ICT. |
Information and Communication Technologies and Real-Life Learning |
2004 |
DBLP DOI BibTeX RDF |
multimedia, Assessment, research, group work, cognitive style |
12 | Li Ding 0002, Pinaki Mazumder |
A novel technique to improve noise immunity of CMOS dynamic logic circuits. |
DAC |
2004 |
DBLP DOI BibTeX RDF |
domino logic style, negative differential resistance, noise-tolerant design, digital integrated circuits, dynamic circuits |
12 | Inge Li Gørtz, Signe Reuss, Morten Heine Sørensen |
Strong Normalization from Weak Normalization by Translation into the Lambda-I-Calculus. |
High. Order Symb. Comput. |
2003 |
DBLP DOI BibTeX RDF |
lambda-I-calculus, thunkification translation, normalization, functionals, continuation passing style translation |
12 | Hans van Halteren |
New Feature Sets for Summarization by Sentence Extraction. |
IEEE Intell. Syst. |
2003 |
DBLP DOI BibTeX RDF |
style recognition, machine learning, summarization, sentence extraction |
12 | Chiyan Chen, Hongwei Xi |
Implementing typeful program transformations. |
PEPM |
2003 |
DBLP DOI BibTeX RDF |
DML, dependent ML, typeful program transformation, dependent types, CPS, continuation-passing style |
12 | Frank Nack, Amit Manniesing, Lynda Hardman |
Colour picking: the pecking prder of form and function. |
ACM Multimedia |
2003 |
DBLP DOI BibTeX RDF |
automatic colour design, colour harmonisation, style-driven multimedia presentation generation, multimedia semantics |
12 | Jennifer Wells Akis, Stephanie Brucker, Virginia Chapman, Layne Ethington, Robert J. Kuhns, P. J. Schemenaur |
Authoring translation-ready documents: is software the answer? |
SIGDOC |
2003 |
DBLP DOI BibTeX RDF |
sun proof, translatability, style |
12 | Edmond H. Weiss |
The metaphysics of information quality: comments on producing quality technical information. |
ACM J. Comput. Documentation |
2002 |
DBLP DOI BibTeX RDF |
TQM, standard, documentation, quality, style, ISO 9000 |
12 | Dragos-Anton Manolescu |
Workflow enactment with continuation and future objects. |
OOPSLA |
2002 |
DBLP DOI BibTeX RDF |
future objects, micro-workflow, trampolined style, workflow, continuations |
12 | Marko Krema, Larry Birnbaum, Jay Budzik, Kristian J. Hammond |
Themometers and themostats: characterizing and controlling thematic attributes of information. |
IUI |
2002 |
DBLP DOI BibTeX RDF |
style of documents, thematic attributes, knowledge representation, text classification, text analysis |
12 | Chang Liu 0028, Debra J. Richardson |
Using RAIC for Dependable On-line Upgrading of Distributed Systems. |
COMPSAC |
2002 |
DBLP DOI BibTeX RDF |
Software architecture style, on-line upgrade |
12 | Vincent Quint |
Le web de demain. |
IHM |
2002 |
DBLP DOI BibTeX RDF |
XML, XML, multimedia, interaction, web, style, structured documents |
12 | Nenad Medvidovic, Marija Mikic-Rakic, Nikunj R. Mehta |
Improving Dependability of Component-Based Systems via Multi-versioning Connectors. |
WADS |
2002 |
DBLP DOI BibTeX RDF |
architectural middleware, Software architecture, dependability, software component, architectural style, software connector |
12 | Zhan Xu, Xue Dong Yang |
V-HairStudio: An Interactive Tool for Hair Design. |
IEEE Computer Graphics and Applications |
2001 |
DBLP DOI BibTeX RDF |
Hair modeling and rendering, hair style design, interactive design system |
12 | Tao Wang, Xue Dong Yang |
A Design Tool for the Hierarchical Hair Model. |
IV |
2001 |
DBLP DOI BibTeX RDF |
Hair Style Design, Interactive Design System, Hierarchical Model, Hair Modeling |
12 | Qixiang Sun, Daniel C. Sturman |
A Gossip-Based Reliable Multicast for Large-Scale High-Throughput Applications. |
DSN |
2000 |
DBLP DOI BibTeX RDF |
gossip style, log-based, reliable multicast |
12 | Daniel Jackson 0001, Kevin J. Sullivan |
COM revisited: tool-assisted modelling of an architectural framework. |
SIGSOFT FSE |
2000 |
DBLP DOI BibTeX RDF |
Microsoft COM, formal specification, formal methods, architectural style, alloy, integration frameworks, constraint solver |
12 | Scott E. Hudson, Kenichiro Tanaka |
Providing visually rich resizable images for user interface components. |
UIST |
2000 |
DBLP DOI BibTeX RDF |
interface components, look and feel, style systems, user interface appearances, toolkits |
12 | Hans-Arno Jacobsen, Bernd J. Krämer |
Modeling Interface Definition Language Extensions. |
TOOLS (37) |
2000 |
DBLP DOI BibTeX RDF |
interface definition language extensions, module names, interface names, operation signatures, pre-conditions, post-conditions, service quality annotations, real-time annotations, combined modeling language, CORBA middleware platform, semantic aspects specification, XML document type definitions, Extensible Style Language, quality of service, Extensible Markup Language, specification languages, invariants, synchronisation, client-server systems, subroutines, distributed object management, XSL, OMG, hypermedia markup languages, synchronization constraints |
12 | Jeffrey J. P. Tsai, Alan Liu, Eric Y. T. Juan, Avinash Sahay |
Knowledge-Based Software Architectures: Acquisition, Specification, and Verification. |
IEEE Trans. Knowl. Data Eng. |
1999 |
DBLP DOI BibTeX RDF |
architecture specification language, software architecture, formal verification, Knowledge-based system, knowledge acquisition, architecture style, compositional verification |
12 | Megan Quentin-Baxter |
Quantitative evidence for differences between learners making use of passive hypermedia learning environments. |
ACM Comput. Surv. |
1999 |
DBLP DOI BibTeX RDF |
evaluation, hypermedia, hypertext, learning style, quantitative |
12 | Wen-Li Wang, Ye Wu, Mei-Hwa Chen |
An Architecture-Based Software Reliability Model. |
PRDC |
1999 |
DBLP DOI BibTeX RDF |
Software Architecture, Markov Model, Architectural Style, Reliability Estimation |
12 | Nat Pryce, Naranker Dulay |
Dynamic Architectures and Architectural Styles for Distributed Program. |
FTDCS |
1999 |
DBLP DOI BibTeX RDF |
Metaobjects, Java, Middleware, Transport Protocols, Architectural Style, Component Models, Dynamic Architectures |
12 | Fatima Z. Mansouri, Cleveland Augustine Gibbon, Colin A. Higgins |
PRAM: prolog automatic marker. |
ITiCSE |
1998 |
DBLP DOI BibTeX RDF |
complexity, education, testing, metrics, Prolog, correctness, style, automatic marking |
|
|