|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HUG ![In: Higher Order Logic Theorem Proving and its Applications, 6th International Workshop, HUG '93, Vancouver, BC, Canada, August 11-13, 1993, Proceedings, pp. 475-488, 1993, Springer, 3-540-57826-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
12 | Gregory D. Abowd, Robert Allen, David Garlan |
Using Style to Understand Descriptions of Software Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the First ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT 1993, Los Angeles, California, USA, December 7-10, 1993, pp. 9-20, 1993, ACM, 978-0-89791-625-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
12 | Chris Hankin, Daniel Le Métayer, David Sands 0001 |
A Parallel Programming Style and Its Algebra of Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARLE ![In: PARLE '93, Parallel Architectures and Languages Europe, 5th International PARLE Conference, Munich, Germany, June 14-17, 1993, Proceedings, pp. 367-378, 1993, Springer, 3-540-56891-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
12 | Amr Sabry, Matthias Felleisen |
Reasoning About Programs in Continuation-Passing Style. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the Conference on Lisp and Functional Programming, LFP 1992, San Francisco, California, USA, 22-24 June 1992., pp. 288-298, 1992, ACM, 0-89791-481-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
12 | Ketil Stølen |
An Attempt to Reason about Shared-State Concurrency in the Style of VDM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VDM Europe (1) ![In: VDM '91 - Formal Software Development, 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991, Proceedings, Volume 1: Conference Contributions, pp. 324-342, 1991, Springer, 3-540-54834-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
12 | Andrea Corradini 0001, Ugo Montanari |
Towards a Process Semantics in the Logic Programming Style. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 90, 7th Annual Symposium on Theoretical Aspects of Computer Science, Rouen, France, February 22-24, 1990, Proceedings, pp. 95-108, 1990, Springer, 3-540-52282-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
12 | Paul W. Oman, Curtis R. Cook |
Programming Style Authorship Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Computer Trends in the 1990s - Proceedings of the 1989 ACM 17th Annual Computer Science Conference, Louisville, Kentucky, USA, February 21-23, 1989, pp. 320-326, 1989, ACM, 0-89791-299-3. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
12 | Andrew W. Appel, Trevor Jim |
Continuation-Passing, Closure-Passing Style. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, Austin, Texas, USA, January 11-13, 1989, pp. 293-302, 1989, ACM Press, 0-89791-294-2. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
ML |
12 | G. D. Adams, Carlo H. Séquin |
Template Style Considerations for Sea-of-Gates Layout Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 26th ACM/IEEE Design Automation Conference, Las Vegas, Nevada, USA, June 25-29, 1989., pp. 31-36, 1989, ACM Press. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
12 | Ted Tenny |
Leadership style vs. succssus in student chief programmer teams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 18th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 1987, St. Louis, Missouri, USA, February 19-20, 1987, pp. 103-114, 1987, ACM, 978-0-89791-217-4. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
12 | S. Kamal Abdali, David S. Wise |
Standard, Storeless Semantics for ALGOL-Style Block Structure and Call-by Name. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Foundations of Programming Semantics ![In: Mathematical Foundations of Programming Semantics, International Conference, Manhattan, Kansas, USA, April 11-12, 1985, Proceedings, pp. 1-19, 1985, Springer, 3-540-16816-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGPLAN Symposium on Compiler Construction ![In: Proceedings of the 1984 SIGPLAN Symposium on Compiler Construction, Montreal, Canada, June 17-22, 1984, pp. 25-36, 1984, ACM, 0-89791-139-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Eleventh Annual ACM Symposium on Principles of Programming Languages, Salt Lake City, Utah, USA, January 1984, pp. 158-164, 1984, ACM Press, 0-89791-125-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NBiS ![In: The 14th International Conference on Network-Based Information Systems, NBiS 2011, Tirana, Albania, September 7-9, 2011, pp. 14-21, 2011, IEEE Computer Society, 978-1-4577-0789-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WKDD ![In: Third International Conference on Knowledge Discovery and Data Mining, WKDD 2010, Phuket, Thailand, 9-10 January 2010, pp. 556-559, 2010, IEEE Computer Society, 978-0-7695-3923-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 41st ACM technical symposium on Computer science education, SIGCSE 2010, Milwaukee, Wisconsin, USA, March 10-13, 2010, pp. 465-469, 2010, ACM, 978-1-4503-0006-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
introductory curriculum, learning style, illustration, visual learning, cartoon |
12 | Wen-Pinn Fang |
Parallel Processing for Secret Image Sharing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPA ![In: IEEE International Symposium on Parallel and Distributed Processing with Applications, ISPA 2010, Taipei, Taiwan, 6-9 September 2010, pp. 392-396, 2010, IEEE Computer Society, 978-1-4244-8095-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 47th Design Automation Conference, DAC 2010, Anaheim, California, USA, July 13-18, 2010, pp. 625-626, 2010, ACM, 978-1-4503-0002-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BCS HCI ![In: Proceedings of the 2009 British Computer Society Conference on Human-Computer Interaction, BCS-HCI 2009, Cambridge, United Kingdom, 1-5 September 2009, pp. 252-261, 2009, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (4) ![In: Human-Computer Interaction. Interacting in Various Application Domains, 13th International Conference, HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part IV, pp. 196-203, 2009, Springer, 978-3-642-02582-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (6) ![In: Universal Access in Human-Computer Interaction. Intelligent and Ubiquitous Interaction Environments, 5th International Conference, UAHCI 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, Part II, pp. 422-431, 2009, Springer, 978-3-642-02709-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (10) ![In: Human Centered Design, First International Conference, HCD 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, pp. 1080-1089, 2009, Springer, 978-3-642-02805-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBSE ![In: Component-Based Software Engineering, 12th International Symposium, CBSE 2009, East Stroudsburg, PA, USA, June 24-26, 2009, Proceedings, pp. 69-86, 2009, Springer, 978-3-642-02413-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
fault-tolerant style, Fault tolerance, model checking, software architecture |
12 | Nicholas Caporusso |
Personality-aware interfaces for learning applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGUCCS ![In: Proceedings of the ACM SIGUCCS Fall Conference on User Services 2009, St. Louis, Missouri, USA, October 11-14, 2009, pp. 189-196, 2009, ACM, 978-1-60558-477-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Proceedings of the 27th International Conference on Human Factors in Computing Systems, CHI 2009, Extended Abstracts Volume, Boston, MA, USA, April 4-9, 2009, pp. 3335-3340, 2009, ACM, 978-1-60558-247-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VS-GAMES ![In: 2009 Conference in Games and Virtual Worlds for Serious Applications, VS-GAMES 2009, Coventry, UK, March 23-24, 2009, pp. 178-181, 2009, IEEE Computer Society, 978-0-7695-3588-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INTERACT (1) ![In: Human-Computer Interaction - INTERACT 2009, 12th IFIP TC 13 International Conference, Uppsala, Sweden, August 24-28, 2009, Proceedings, Part I, pp. 634-644, 2009, Springer, 978-3-642-03654-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 33(3), 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Computer Graphics and Applications ![In: IEEE Computer Graphics and Applications 28(3), pp. 38-47, 2008. The full citation details ...](Pics/full.jpeg) |
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++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 43(3-4), pp. 298-321, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MobiQuitous ![In: 5th Annual International Conference on Mobile and Ubiquitous Systems: Computing, Networking, and Services, MobiQuitous 2008, July 21-25, 2008, Dublin, Ireland, 2008, ICST / ACM, 978-963-9799-27-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PATMOS ![In: Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation, 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008. Revised Selected Papers, pp. 11-20, 2008, Springer, 978-3-540-95947-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBCCI ![In: Proceedings of the 21st Annual Symposium on Integrated Circuits and Systems Design, SBCCI 2008, Gramado, Brazil, September 1-4, 2008, pp. 193-198, 2008, ACM, 978-1-60558-231-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (2) ![In: Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence, 4th International Conference on Intelligent Computing, ICIC 2008, Shanghai, China, September 15-18, 2008, Proceedings, pp. 1150-1157, 2008, Springer, 978-3-540-85983-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IIH-MSP ![In: 4th International Conference on Intelligent Information Hiding and Multimedia Signal Processing (IIH-MSP 2008), Harbin, China, 15-17 August 2008, Proceedings, pp. 35-38, 2008, IEEE Computer Society, 978-0-7695-3278-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mobile Middleware ![In: Proceedings of the First Workshop on Mobile Middleware: embracing the personal communication device, Leuven, Belgium, December 1-5, 2008, pp. 1, 2008, ACM, 978-1-60558-362-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Pervasive Comput. ![In: IEEE Pervasive Comput. 6(4), pp. 76-85, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
user interface, pervasive computing, mobile applications, interaction style |
12 | David A. Schmidt |
State-transition machines, revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
High. Order Symb. Comput. ![In: High. Order Symb. Comput. 20(3), pp. 333-335, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Base ![In: Data Base 38(4), pp. 90-96, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
identity formation, social laboratories, trust, virtual world, learning style |
12 | Hideki Aoyama, Hiroki Yamaguchi |
Sketch Based Modeling System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (14) ![In: Virtual Reality, Second International Conference, ICVR 2007, Held as part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, pp. 421-430, 2007, Springer, 978-3-540-73334-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (10) ![In: Usability and Internationalization. HCI and Culture, Second International Conference on Usability and Internationalization, UI-HCII 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I, pp. 637-645, 2007, Springer, 978-3-540-73286-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (9) ![In: Human Interface and the Management of Information. Interacting in Information Environments, Symposium on Human Interface 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II, pp. 457-465, 2007, Springer, 978-3-540-73353-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (4) ![In: Human-Computer Interaction. HCI Applications and Services, 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IV, pp. 173-182, 2007, Springer, 978-3-540-73109-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation, 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007, Proceedings, pp. 398-407, 2007, Springer, 978-3-540-72503-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Extended Abstracts Proceedings of the 2007 Conference on Human Factors in Computing Systems, CHI 2007, San Jose, California, USA, April 28 - May 3, 2007, pp. 2621-2626, 2007, ACM, 978-1-59593-642-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGDOC ![In: Proceedings of the 25th Annual International Conference on Design of Communication, SIGDOC 2007, El Paso, Texas, USA, October 22-24, 2007, pp. 235-240, 2007, ACM, 978-1-59593-588-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VISUAL ![In: Advances in Visual Information Systems, 9th International Conference, VISUAL 2007, Shanghai, China, June 28-29, 2007 Revised Selected Papers, pp. 502-511, 2007, Springer, 978-3-540-76413-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES-AMSTA ![In: Agent and Multi-Agent Systems: Technologies and Applications, First KES International Symposium, KES-AMSTA 2007, Wroclaw, Poland, May 31- June 1, 2007, Proceedings, pp. 675-684, 2007, Springer, 978-3-540-72829-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada Europe 2007, 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007, Proceedings, pp. 142-154, 2007, Springer, 978-3-540-73229-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Inf. Syst. ![In: Knowl. Inf. Syst. 9(4), pp. 492-511, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Distributed Syst. Online ![In: IEEE Distributed Syst. Online 7(1), 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Extensible Style Language Transformation, XML, service-oriented architecture, XSLT |
12 | Markus Jakobsson, Sid Stamm |
Invasive browser sniffing and countermeasures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the 15th international conference on World Wide Web, WWW 2006, Edinburgh, Scotland, UK, May 23-26, 2006, pp. 523-532, 2006, ACM, 1-59593-323-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
W4A ![In: Proceedings of the 2006 International Cross-Disciplinary Workshop on Web Accessibility (W4A 2006): Building the mobile web: rediscovering accessibility? Edinburgh, UK, May 22, 2006, pp. 14-22, 2006, ACM, 1-59593-281-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMI ![In: Proceedings of the 8th International Conference on Multimodal Interfaces, ICMI 2006, Banff, Alberta, Canada, November 2-4, 2006, pp. 20-27, 2006, ACM, 1-59593-541-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Multimedia ![In: Proceedings of the 14th ACM International Conference on Multimedia, Santa Barbara, CA, USA, October 23-27, 2006, pp. 9, 2006, ACM, 1-59593-447-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
music cognition, music information retrieval, style, audio processing, computer audition |
12 | Olin Shivers, Matthew Might |
Continuations and transducer composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, Ottawa, Ontario, Canada, June 11-14, 2006, pp. 295-307, 2006, ACM, 1-59593-320-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on Solid and Physical Modeling ![In: Proceedings of the ACM Symposium on Solid and Physical Modeling 2006, Cardiff University, Wales, UK, June 6-8, 2006, pp. 149-160, 2006, ACM, 1-59593-358-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Symposium on Document Engineering ![In: Proceedings of the 2006 ACM Symposium on Document Engineering, Amsterdam, The Netherlands, October 10-13, 2006, pp. 198-204, 2006, ACM, 1-59593-515-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Multim. ![In: IEEE Multim. 12(2), pp. 26-35, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 30(4), pp. 1-6, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web3D ![In: Proceeding of the Tenth International Conference on 3D Web Technology, Web3D 2005, Bangor, UK, March 29 - April 1, 2005, pp. 57-64, 2005, ACM, 1-59593-012-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), Santa Fe, New Mexico, USA, March 13-17, 2005, pp. 782-786, 2005, ACM, 1-58113-964-0. The full citation details ...](Pics/full.jpeg) |
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. ![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. 414, 2005, ACM, 1-58113-876-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, Tallinn, Estonia, September 26-28, 2005, pp. 216-227, 2005, ACM, 1-59593-064-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGDOC ![In: Proceedings of the 23rd Annual International Conference on Design of Communication: documenting & Designing for Pervasive Information, SIGDOC 2005, Coventry, UK, September 21-23, 2005, pp. 4-5, 2005, ACM, 1-59593-175-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
UML, adoption, style, graphical documentation |
12 | Stefan Marti, Chris Schmandt |
Physical embodiments for mobile communication agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UIST ![In: Proceedings of the 18th Annual ACM Symposium on User Interface Software and Technology, Seattle, WA, USA, October 23-26, 2005, pp. 231-240, 2005, ACM, 1-59593-271-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOSD ![In: Proceedings of the 4th International Conference on Aspect-Oriented Software Development, AOSD 2005, Chicago, Illinois, USA, March 14-18, 2005, pp. 111-122, 2005, ACM, 1-59593-042-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hypertext ![In: HYPERTEXT 2005, Proceedings of the 16th ACM Conference on Hypertext and Hypermedia, September 6-9, 2005, Salzburg, Austria, pp. 284-285, 2005, ACM, 1-59593-168-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
clustering, semantics, hypermedia, style, document structure, presentation generation |
12 | Vincent Quint, Irène Vatton |
Towards active web clients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Symposium on Document Engineering ![In: Proceedings of the 2005 ACM Symposium on Document Engineering, Bristol, UK, November 2-4, 2005, pp. 168-176, 2005, ACM, 1-59593-240-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pers. Ubiquitous Comput. ![In: Pers. Ubiquitous Comput. 8(5), pp. 385-388, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. Softw. Eng. ![In: Autom. Softw. Eng. 11(4), pp. 337-364, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 21(2), pp. 78-87, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Entertain. ![In: Comput. Entertain. 2(3), pp. 13, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Grid Comput. ![In: J. Grid Comput. 2(3), pp. 207-222, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: Proceedings of the 2004 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'04), Washington, DC, USA, June 11-13, 2004, pp. 165-174, 2004, ACM, 1-58113-806-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 35th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2004, Norfolk, Virginia, USA, March 3-7, 2004, pp. 183-184, 2004, ACM, 1-58113-798-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Information and Communication Technologies and Real-Life Learning ![In: Information and Communication Technologies and Real-Life Learning, New Education for the Knowledge Society, December 2004, Melbourne, Australia, working conference organised by IFIP Working Group 3.2 (Informatics and ICT in Higher Education) and IFIP Working Group 3.4 (Professional and Vocational Education in Information Technology), pp. 21-28, 2004, Springer, 0-387-25996-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 41th Design Automation Conference, DAC 2004, San Diego, CA, USA, June 7-11, 2004, pp. 900-903, 2004, ACM, 1-58113-828-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
High. Order Symb. Comput. ![In: High. Order Symb. Comput. 16(3), pp. 253-285, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Intell. Syst. ![In: IEEE Intell. Syst. 18(4), pp. 34-42, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
style recognition, machine learning, summarization, sentence extraction |
12 | Chiyan Chen, Hongwei Xi |
Implementing typeful program transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2003 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2003, San Diego, California, USA, June 7, 2003, pp. 20-28, 2003, ACM, 1-58113-667-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Multimedia ![In: Proceedings of the Eleventh ACM International Conference on Multimedia, Berkeley, CA, USA, November 2-8, 2003, pp. 279-282, 2003, ACM, 1-58113-722-2. The full citation details ...](Pics/full.jpeg) |
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? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGDOC ![In: Proceedings of the 21st annual international conference on Documentation, SIGDOC 2003, San Francisco, CA, USA, October 12-15, 2003, pp. 39-44, 2003, ACM, 1-58113-696-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
sun proof, translatability, style |
12 | Edmond H. Weiss |
The metaphysics of information quality: comments on producing quality technical information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM J. Comput. Documentation ![In: ACM J. Comput. Documentation 26(3), pp. 141-147, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
TQM, standard, documentation, quality, style, ISO 9000 |
12 | Dragos-Anton Manolescu |
Workflow enactment with continuation and future objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 2002 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications, OOPSLA 2002, Seattle, Washington, USA, November 4-8, 2002., pp. 40-51, 2002, ACM, 1-58113-471-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IUI ![In: Proceedings of the 7th International Conference on Intelligent User Interfaces, IUI 2002, San Francisco, California, USA, January 13-16, 2002, pp. 196-197, 2002, ACM, 1-58113-459-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 26th International Computer Software and Applications Conference (COMPSAC 2002), Prolonging Software Life: Development and Redevelopment, 26-29 August 2002, Oxford, England, Proceedings, pp. 1006-1011, 2002, IEEE Computer Society, 0-7695-1727-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Software architecture style, on-line upgrade |
12 | Vincent Quint |
Le web de demain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IHM ![In: Proceedings of the 14th French-speaking conference on Human-computer interaction, Conference Francophone sur l'Interaction Homme-Machine, IHM 2002, Poitiers, France, November 26-29, 2002, pp. 1-5, 2002, ACM, 1-58113-615-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADS ![In: Architecting Dependable Systems [the book is a result of the ICSE 2002 Workshop on Software Architectures for Dependable Systems], pp. 37-60, 2002, Springer, 978-3-540-40727-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Computer Graphics and Applications ![In: IEEE Computer Graphics and Applications 21(3), pp. 36-43, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IV ![In: International Conference on Information Visualisation, IV 2001, London, England, UK, July 25-27, 2001, pp. 186-191, 2001, IEEE Computer Society, 0-7695-1195-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 25-28 June 2000, New York, NY, USA, pp. 347-358, 2000, IEEE Computer Society, 0-7695-0707-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: ACM SIGSOFT Symposium on Foundations of Software Engineering, an Diego, California, USA, November 6-10, 2000, Proceedings, pp. 149-158, 2000, ACM, 978-1-58113-205-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UIST ![In: Proceedings of the 13th Annual ACM Symposium on User Interface Software and Technology, UIST 2000, San Diego, California, USA, November 6-8, 2000, pp. 227-235, 2000, ACM, 1-58113-212-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (37) ![In: TOOLS Pacific 2000: 37th International Conference on Technology of Object-Oriented Languages and Systems, Sydney, Australia, November 2000, pp. 242-252, 2000, IEEE Computer Society, 0-7695-0918-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 11(1), pp. 187-201, 1999. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Comput. Surv. ![In: ACM Comput. Surv. 31(4es), pp. 26, 1999. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 1999 Pacific Rim International Symposium on Dependable Computing (PRDC 1999), 16-17 December 1999, Hong Kong, pp. 143-, 1999, IEEE Computer Society, 0-7695-0371-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTDCS ![In: 7th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS '99), 20-22 December 1999, Cape Town, South Africa, Proceedings, pp. 89-94, 1999, IEEE Computer Society, 0-7695-0468-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 6th Annual Conference on the Teaching of Computing and the 3rd Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 1998, Dublin City University, Ireland, 18-21 August 1998, pp. 166-170, 1998, ACM, 1-58113-000-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
complexity, education, testing, metrics, Prolog, correctness, style, automatic marking |
|
|