Search results for "informal"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
71	William E. Howden, Bruce Wieand	QDA-A Method for Systematic Informal Program Analysis.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	QDA, systematic informal program analysis, program properties, Quick Defect Analysis, comments analysis, abstract program model, hypothesis-driven method, operational flight program, formal specification, formal verification, specification, program verification, program verification, programming theory, program debugging, program diagnostics, program validity, code reading
64	Wing Lok Yeung, Karl R. P. H. Leung	A Synergistic Interweaving of Formal and Informal Methods.	COMPSAC	2003	DBLP DOI BibTeX RDF	Informal Methods, JSD, Formal Methods, CSP, Structured Methods, Method Integration
64	Robert S. Fish, Robert E. Kraut, Robert W. Root, Ronald E. Rice	Evaluating Video as a Technology for Informal Communication.	CHI	1992	DBLP DOI BibTeX RDF	desktop videoconferencing, informal meetings, collaboration, video, group work
60	David A. Mejia, Alberto L. Morán, Jesús Favela	Supporting Informal Co-located Collaboration in Hospital Work.	CRIWG	2007	DBLP DOI BibTeX RDF	mobile informal co-located collaboration, Informal interactions, hospital work
52	Jennifer Stoll, W. Keith Edwards, Elizabeth D. Mynatt	Informal interactions in nonprofit networks.	CHI	2010	DBLP DOI BibTeX RDF	informal coordination, nonprofit organizations, organizational networks, interorganizational information systems
52	Liwei Dai, Andrew Sears, Rich Goldman	Shifting the focus from accuracy to recallability: A study of informal note-taking on mobile information technologies.	ACM Trans. Comput. Hum. Interact.	2009	DBLP DOI BibTeX RDF	Informal notes, recognition-based text entry, mobile device, recognition error
52	Kevin R. Glass, Chantelle Morkel, Shaun Bangay	Duplicating road patterns in south african informal settlements using procedural techniques.	Afrigraph	2006	DBLP DOI BibTeX RDF	informal settlement, subdivision, L-systems, procedural modeling, Voronoi, city modeling
50	Andrew Aberdein	Managing Informal Mathematical Knowledge: Techniques from Informal Logic.	MKM	2006	DBLP DOI BibTeX RDF
50	Shun'ichi Tano, Tatsuhiro Takayama, Mitsuru Iwata, Tomonori Hashiyama	Wearable Computer for Ubiquitous Informal Communication.	ICDCS Workshops	2006	DBLP DOI BibTeX RDF
46	Kai Fischbach, Peter A. Gloor, Detlef Schoder	Analysis of Informal Communication Networks - A Case Study.	Bus. Inf. Syst. Eng.	2009	DBLP DOI BibTeX RDF	Analysis of social networks, Social badges, Communication networks, Informal communications, Knowledge worker, Communications analysis
46	Tobias Nelkner, Johannes Magenheim, Wolfgang Reinhardt 0001	PLME as a Cognitive Tool for Knowledge Achievement and Informal Learning.	WCCE	2009	DBLP DOI BibTeX RDF	Open Flexible Learning, Support Services for Learning, Communication, Social Networks, Knowledge Representation, Informal Learning, Lifelong Learning
46	Michael B. Twidale	Over the Shoulder Learning: Supporting Brief Informal Learning.	Comput. Support. Cooperative Work.	2005	DBLP DOI BibTeX RDF	help giving, interface design, computer supported collaborative learning, informal learning, workplace learning
46	Damon J. Cook, Brian P. Bailey	Designers' use of paper and the implications for informal tools.	OZCHI	2005	DBLP DOI BibTeX RDF	early design, informal tools, sketching, digital ink
46	Yang Li 0059, James A. Landay, Zhiwei Guan, Xiangshi Ren, Guozhong Dai	Sketching informal presentations.	ICMI	2003	DBLP DOI BibTeX RDF	gestures, rapid prototyping, sketching, storyboards, pen-based computers, informal presentation, zooming user interface (ZUI)
44	Martin Giese, Rogardt Heldal	From Informal to Formal Specifications in UML.	UML	2004	DBLP DOI BibTeX RDF
44	Guillaume Lussier, Hélène Waeselynck	Informal Proof Analysis Towards Testing Enhancement.	ISSRE	2002	DBLP DOI BibTeX RDF
41	Frances M. T. Brazier, Catholijn M. Jonker, Jan Treur	Modelling project coordination in a multi-agent framework.	WETICE	1996	DBLP DOI BibTeX RDF	project coordination modelling, traditional management structures, formal structures, informal dynamic organisational structures, aircraft industry, DESIRE modelling framework, informal multi-agent model, communication, requirements, software agents, engineering, information exchange, virtual organisations, cooperative problem solving, concurrent design, multi-agent framework
39	Júlio Cesar dos Reis, Rodrigo Bonacin, Maria Cecília Martins	Mobile Phone Interfaces for Informal Education.	HCI (12)	2009	DBLP DOI BibTeX RDF	Mobile Collaborative Learning, Communities of Practice, Informal Education
39	Margarida Lucas, António Moreira 0002	Bridging Formal and Informal Learning - A Case Study on Students' Perceptions of the Use of Social Networking Tools.	EC-TEL	2009	DBLP DOI BibTeX RDF	connectivism, case study, distributed cognition, informal learning, Social Web
39	Dejin Zhao, Mary Beth Rosson	How and why people Twitter: the role that micro-blogging plays in informal communication at work.	GROUP	2009	DBLP DOI BibTeX RDF	Twitter, informal communication, micro-blog
39	Christopher Lucas 0002, Heather Huntsinger	After the class: informal training support through the Penn State technology training community.	SIGUCCS	2009	DBLP DOI BibTeX RDF	training, communities of practice, informal learning, learning communities, drupal
39	Xiaomu Zhou, Mark S. Ackerman, Kai Zheng 0002	I just don't know why it's gone: maintaining informal information use in inpatient care.	CHI	2009	DBLP DOI BibTeX RDF	cpoe, informal information, psychosocial information, shift change, cscw, medical informatics, organizational memory, electronic patient records, medical records
39	Jesper Kjeldskov, Jeni Paay, Kenton O'Hara, Ross T. Smith, Bruce H. Thomas	FrostWall: a dual-sided situated display for informal collaboration in the corridor.	OZCHI	2009	DBLP DOI BibTeX RDF	dual-sided interface, informal collaboration, ubiquitous computing, situated display
39	Michael S. Horn	Tangible computer programming for informal science learning.	IDC	2008	DBLP DOI BibTeX RDF	informal science learning, science museums, education, children, tangible UIs, programming languages
39	Hendrik Drachsler, Hans G. K. Hummel, Rob Koper	Navigation support for learners in informal learning environments.	RecSys	2008	DBLP DOI BibTeX RDF	ontology, recommender systems, collaborative filtering, informal learning, technology enhanced learning, learning networks
39	Leilah Blakeney Lyons	Scaffolding cooperative multi-device activities in an informal learning environment.	CHI Extended Abstracts	2007	DBLP DOI BibTeX RDF	co-located cooperation, distributed scaffolding, multi-device interfaces, simulations, complex systems, informal learning, multi-user interfaces, microworlds
39	Kyung-Joong Kim 0001, Sung-Bae Cho	Integrated Model for Informal Inference Based on Neural Networks.	ICONIP (2)	2007	DBLP DOI BibTeX RDF	Informal Inference, Behavior Network, Neural Networks, Pattern Recognition, Robot Control, Fuzzy Integral
39	Airong Luo, Judith S. Olson	Informal communication in collaboratories.	CHI Extended Abstracts	2006	DBLP DOI BibTeX RDF	collaboration, informal communication, collaboratories
39	Yang Li 0059, James A. Landay	Informal prototyping of continuous graphical interactions by demonstration.	UIST	2005	DBLP DOI BibTeX RDF	informal prototyping, sketching, direct manipulation, programming by demonstration, pen-based user interfaces, continuous interactions
39	Robert S. Friedman, Marc Sequeira	Application development for informal learning environments: where IT education, community outreach, baseball and history intersect.	SIGITE Conference	2004	DBLP DOI BibTeX RDF	informal learning environments, participatory design, application development
39	Mike Kendall	Exploring the Role of Informal Learning in Real-Life Learning.	Information and Communication Technologies and Real-Life Learning	2004	DBLP DOI BibTeX RDF	Informal learning, competencies, learning communities, social impact, citizens
39	Christopher P. Fuhrman	Lightweight models for interpreting informal specifications.	Requir. Eng.	2003	DBLP DOI BibTeX RDF	Informal specifications, Iterative software development, Lightweight models, Request for Comments (RFC), Trivial File Transfer, Protocol (TFTP)SPIN, Process, PROMELA
39	Anoop K. Sinha, James A. Landay	Capturing user tests in a multimodal, multidevice informal prototyping tool.	ICMI	2003	DBLP DOI BibTeX RDF	informal prototyping, multidevice, pen and speech input, multimodal, sketching, mobile interface design
39	Mark S. Ackerman, David W. McDonald	Collaborative Support for Informal Information in Collective Memory Systems.	Inf. Syst. Frontiers	2000	DBLP DOI BibTeX RDF	community memory, informal information, information refining, collaborative help, information retrieval, computer-supported cooperative work, CSCW, information systems, CMC, computer-mediated communications, information access, organizational memory, help, group memory, corporate memory, incremental formalization
39	Kanth Miriyala, Mehdi T. Harandi	Automatic Derivation of Formal Software Specifications From Informal Descriptions.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	formal software specifications, common problem-solving techniques, difference-based reasoning, informal description, SPECIFIER, previously solved problem, analogy mapping, formal specification, data structures, software tools, interactive system, analogy, automatic programming, schemas, data types, problem-solving process
39	Martin D. Fraser, Kuldeep Kumar, Vijay K. Vaishnavi	Informal and Formal Requirements Specification Languages: Bridging the Gap.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	informal languages, requirements specification languages, rule-based method, payroll system, payroll data processing, formal specification, specification languages, systems analysis, formal languages, formal languages, structured analysis, VDM, Vienna development method
39	Michal Jacovi, Vladimir Soroka, Sigalit Ur	Why do we ReachOut?: functions of a semi-persistent peer support tool.	GROUP	2003	DBLP DOI BibTeX RDF	informal communication, peer support, workplace collaboration
38	Yongsuk Kim, Sirkka L. Jarvenpaa	Formal Boundary Spanning and Informal Boundary Spanning in Cross-Border Knowledge Sharing: A Case Study.	HICSS	2008	DBLP DOI BibTeX RDF
38	James A. Landay	Informal Tools for Designing Anywhere, Anytime, Anydevice User Interfaces.	Diagrams	2002	DBLP DOI BibTeX RDF
36	Michael J. Carey 0001, Daniela Florescu, Zachary G. Ives, Ying Lu, Jayavel Shanmugasundaram, Eugene J. Shekita, Subbu N. Subramanian	XPERANTO: Publishing Object-Relational Data as XML.	WebDB (Informal Proceedings)	2000	DBLP BibTeX RDF
36	Thorsten Fiebig, Guido Moerkotte	Evaluating Queries on Structure with eXtended Access Support Relations.	WebDB (Informal Proceedings)	2000	DBLP BibTeX RDF
36	Jayavel Shanmugasundaram, Kristin Tufte, David J. DeWitt, Jeffrey F. Naughton, David Maier 0001	Architecting a Network Query Engine for Producing Partial Results.	WebDB (Informal Proceedings)	2000	DBLP BibTeX RDF
36	Aldo Bongio, Stefano Ceri, Piero Fraternali, Andrea Maurino	Modeling Data Entry and Operations in WebML.	WebDB (Informal Proceedings)	2000	DBLP BibTeX RDF
36	Albrecht Schmidt 0002, Martin L. Kersten, Menzo Windhouwer, Florian Waas	Efficient Relational Storage and Retrieval of XML Documents.	WebDB (Informal Proceedings)	2000	DBLP BibTeX RDF
36	Haruo Hosoya, Benjamin C. Pierce	XDuce: A Typed XML Processing Language (Preliminary Report).	WebDB (Informal Proceedings)	2000	DBLP BibTeX RDF
36	Panagiotis G. Ipeirotis, Luis Gravano, Mehran Sahami	Automatic Classification of Text Databases Through Query Probing.	WebDB (Informal Proceedings)	2000	DBLP BibTeX RDF
36	AnHai Doan, Pedro M. Domingos, Alon Y. Levy	Learning Source Description for Data Integration.	WebDB (Informal Proceedings)	2000	DBLP BibTeX RDF
36	David W. Embley, Li Xu	Record Location and Reconfiguration in Unstructured Multiple-Record Web Documents.	WebDB (Informal Proceedings)	2000	DBLP BibTeX RDF
36	George A. Mihaila, Louiqa Raschid, Maria-Esther Vidal	Using Quality of Data Metadata for Source Selection and Ranking.	WebDB (Informal Proceedings)	2000	DBLP BibTeX RDF
36	Luping Quan, Li Chen 0016, Elke A. Rundensteiner	Argos: Efficient Refresh in an XQL-Based Web Caching System.	WebDB (Informal Proceedings)	2000	DBLP BibTeX RDF
36	Anja Theobald, Gerhard Weikum	Adding Relevance to XML.	WebDB (Informal Proceedings)	2000	DBLP BibTeX RDF
36	Shu-Yao Chien, Vassilis J. Tsotras, Carlo Zaniolo	Version Management of XML Documents.	WebDB (Informal Proceedings)	2000	DBLP BibTeX RDF
36	Qiong Luo 0001, Jeffrey F. Naughton, Rajasekar Krishnamurthy, Pei Cao, Yunrui Li	Active Query Caching for Database Web Servers.	WebDB (Informal Proceedings)	2000	DBLP BibTeX RDF
36	Meike Klettke, Holger Meyer 0001	XML and Object-Relational Database Systems - Enhancing Structural Mappings Based on Statistics.	WebDB (Informal Proceedings)	2000	DBLP BibTeX RDF
36	Donald D. Chamberlin, Jonathan Robie, Daniela Florescu	Quilt: An XML Query Language for Heterogeneous Data Sources.	WebDB (Informal Proceedings)	2000	DBLP BibTeX RDF
36	Neel Sundaresan, Jeonghee Yi, Anita W. Huang	Using Metadata to Enhance a Web Information Gathering System.	WebDB (Informal Proceedings)	2000	DBLP BibTeX RDF
36	Taher H. Haveliwala, Aristides Gionis, Piotr Indyk	Scalable Techniques for Clustering the Web.	WebDB (Informal Proceedings)	2000	DBLP BibTeX RDF
36	Arnaud Sahuguet	Everything You Ever Wanted to Know About DTDs, But Were Afraid to Ask.	WebDB (Informal Proceedings)	2000	DBLP BibTeX RDF
36	Nuno Maria, Mário J. Silva	Theme-based Retrieval of Web News.	WebDB (Informal Proceedings)	2000	DBLP BibTeX RDF
36	Gösta Grahne, Alex Thomo	An Optimization Technique for Answering Regular Path Queries.	WebDB (Informal Proceedings)	2000	DBLP BibTeX RDF
36	Arnaud Sahuguet, Fabien Azavant	Web Ecology: Recycling HTML Pages as XML Documents Using W4F.	WebDB (Informal Proceedings)	1999	DBLP BibTeX RDF
36	Stefano Ceri, Piero Fraternali, Andrea Maurino, Stefano Paraboschi	One-to-One Personalization of Data-Intensive Web Sites.	WebDB (Informal Proceedings)	1999	DBLP BibTeX RDF
36	Bertram Ludäscher, Yannis Papakonstantinou, Pavel E. Velikhov	A Framework for Navigation-Driven Lazy Mediators.	WebDB (Informal Proceedings)	1999	DBLP BibTeX RDF
36	Kai-Uwe Sattler, Michael Höding	Adapter Generation for Extracting and Querying Data from Web.	WebDB (Informal Proceedings)	1999	DBLP BibTeX RDF
36	Corin R. Anderson, Alon Y. Levy, Daniel S. Weld	Declarative Web Site Management with Tiramisu.	WebDB (Informal Proceedings)	1999	DBLP BibTeX RDF
36	William W. Cohen	Some Practical Observations on Integration of Web Information.	WebDB (Informal Proceedings)	1999	DBLP BibTeX RDF
36	Sara Cohen, Yaron Kanza, Yakov A. Kogan, Werner Nutt, Yehoshua Sagiv, Alexander Serebrenik	EquiX Easy Querying in XML Databases.	WebDB (Informal Proceedings)	1999	DBLP BibTeX RDF
36	David Maier 0001, Lois M. L. Delcambre	Superimposed Information for the Internet.	WebDB (Informal Proceedings)	1999	DBLP BibTeX RDF
36	Roy Goldman, Jason McHugh, Jennifer Widom	From Semistructured Data to XML: Migrating the Lore Data Model and Query Language.	WebDB (Informal Proceedings)	1999	DBLP BibTeX RDF
36	Orkut Buyukkokten, Junghoo Cho, Hector Garcia-Molina, Luis Gravano, Narayanan Shivakumar	Exploiting Geographical Location Information of Web Pages.	WebDB (Informal Proceedings)	1999	DBLP BibTeX RDF
36	Daniela Florescu, Alon Y. Levy, Dan Suciu, Khaled Yagoub	Run-Time Management of Data Intensive Web Sites.	WebDB (Informal Proceedings)	1999	DBLP BibTeX RDF
36	Birgit Pröll, Werner Retschitzegger, Harald Sighart, Heinrich Starck	Ready for Prime Time - Pre-Generation of Web Pages in TIScover.	WebDB (Informal Proceedings)	1999	DBLP BibTeX RDF
36	Alexandros Labrinidis, Nick Roussopoulos	On the Materialization of WebViews.	WebDB (Informal Proceedings)	1999	DBLP BibTeX RDF
36	Giansalvatore Mecca, Paolo Merialdo, Paolo Atzeni, Valter Crescenzi	The (Short) Araneus Guide to Web-Site Development.	WebDB (Informal Proceedings)	1999	DBLP BibTeX RDF
36	Hartmut Liefke	Horizontal Query Optimization on Ordered Semistructured Data.	WebDB (Informal Proceedings)	1999	DBLP BibTeX RDF
36	Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi	Query Answering Using Views for Data Integration over the Web.	WebDB (Informal Proceedings)	1999	DBLP BibTeX RDF
36	Catriel Beeri, Yariv Tzaban	SAL: An Algebra for Semistructured Data and XML.	WebDB (Informal Proceedings)	1999	DBLP BibTeX RDF
36	Malcolm P. Atkinson 0001, Peter Buneman, Ronald Morrison (eds.)	Data Types and Persistence, Informal Proceedings of the First Workshop on Persistent Objects, Appin, Scotland, UK, August 1985	Data Types and Persistence (Appin), Informal Proceedings	1985	DBLP BibTeX RDF
36	Peter Buneman	Data Types For Data Base Programming.	Data Types and Persistence (Appin), Informal Proceedings	1985	DBLP BibTeX RDF
36	Antonio Albano, Giorgio Ghelli, Renzo Orsini	The Implementation of Galileo's Persistent Values.	Data Types and Persistence (Appin), Informal Proceedings	1985	DBLP BibTeX RDF
36	G. Lawrence Krablin	Building Flexible Multilevel Transactions in a Distributed Persistent Environment.	Data Types and Persistence (Appin), Informal Proceedings	1985	DBLP BibTeX RDF
36	James E. Donahue	Integrating Programming Languages with Database Systems.	Data Types and Persistence (Appin), Informal Proceedings	1985	DBLP BibTeX RDF
36	Malcolm S. Powell	Adding Programming Facilities to an Abstract Data Store.	Data Types and Persistence (Appin), Informal Proceedings	1985	DBLP BibTeX RDF
36	David C. J. Matthews	An Overview of the Poly Programming Language.	Data Types and Persistence (Appin), Informal Proceedings	1985	DBLP BibTeX RDF
36	Rishiyur S. Nikhil	Functional Databases, Functional Languages.	Data Types and Persistence (Appin), Informal Proceedings	1985	DBLP BibTeX RDF
36	Ian F. Currie	Fileestore and Modes in Flex.	Data Types and Persistence (Appin), Informal Proceedings	1985	DBLP BibTeX RDF
36	Malcolm P. Atkinson 0001, Ronald Morrison	Types, Bindings and Parameters in a Persistent Environment.	Data Types and Persistence (Appin), Informal Proceedings	1985	DBLP BibTeX RDF
36	Hassan Aït-Kaci	Integrating Data Type Inheritance into Logic Programming.	Data Types and Persistence (Appin), Informal Proceedings	1985	DBLP BibTeX RDF
36	William E. Weihl	Linguistic Support for Atomic Data Types.	Data Types and Persistence (Appin), Informal Proceedings	1985	DBLP BibTeX RDF
36	Alexander Borgida	Accomodating Exceptions to (Type) Constraints in Information Systems - a position paper	Data Types and Persistence (Appin), Informal Proceedings	1985	DBLP BibTeX RDF
36	Christopher L. F. Haynes	Data Privacy in a Persistent Environment.	Data Types and Persistence (Appin), Informal Proceedings	1985	DBLP BibTeX RDF
36	Peter M. D. Gray, David S. Moffat, J. B. H. du Boulay	Persistent Prolog: A Secondary Storage Manager for Prolog.	Data Types and Persistence (Appin), Informal Proceedings	1985	DBLP BibTeX RDF
36	Christopher L. F. Haynes	The Exploitation of Persistence.	Data Types and Persistence (Appin), Informal Proceedings	1985	DBLP BibTeX RDF
36	Jon Fairbairn	A New Type-Checker for a Functional Language.	Data Types and Persistence (Appin), Informal Proceedings	1985	DBLP BibTeX RDF
36	Cliff B. Jones, T. N. Nipkow, Mario Wolczko	MDB: A Graph-Like Persistent Database.	Data Types and Persistence (Appin), Informal Proceedings	1985	DBLP BibTeX RDF
36	Luca Cardelli, David B. MacQueen	Persistence and Type Abstraction.	Data Types and Persistence (Appin), Informal Proceedings	1985	DBLP BibTeX RDF
36	T. H. Merrett	Persistence and Aldat.	Data Types and Persistence (Appin), Informal Proceedings	1985	DBLP BibTeX RDF
36	K. T. Sridhar, C. A. R. Hoare	JSD Expressed in CSP.	Data Types and Persistence (Appin), Informal Proceedings	1985	DBLP BibTeX RDF
36	Stanley B. Zdonik, Peter Wegner	A Database Approach to Languages, Libraries and Environments.	Data Types and Persistence (Appin), Informal Proceedings	1985	DBLP BibTeX RDF
36	Antonio Albano, Fosca Giannotti, Renzo Orsini, Dino Pedreschi	The Type System of Galileo.	Data Types and Persistence (Appin), Informal Proceedings	1985	DBLP BibTeX RDF