Search results for "Style"

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