Search results for "revisions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Paul-Amaury Matt, Francesca Toni	Egalitarian Allocations of Indivisible Resources: Theory and Computation.	CIA	2006	DBLP DOI BibTeX RDF
12	David Mandelin, Doug Kimelman, Daniel M. Yellin	A Bayesian approach to diagram matching with application to architectural models.	ICSE	2006	DBLP DOI BibTeX RDF	models, architecture, matching, diagrams, Bayesian
12	Anne M. Faber, Minaxi Gupta, Camilo H. Viecco	Grid networks and portals - Revisiting web server workload invariants in the context of scientific web sites.	SC	2006	DBLP DOI BibTeX RDF
12	Venkat Rao Vallapenani, Ravi Shankar Chevuri, Bingxiong Xu, Lun Ye, Kanad Chakraborty	Efficient Techniques for Noise Characterization of Sequential Cells and Macros.	VLSI Design	2006	DBLP DOI BibTeX RDF
12	Pinata Winoto, Gordon I. McCalla, Julita Vassileva	Non-Monotonic-Offers Bargaining Protocol.	Auton. Agents Multi Agent Syst.	2005	DBLP DOI BibTeX RDF	alternating offer protocol, multiagent systems, belief revision, automated negotiation
12	Shih-Kun Huang, Kang-min Liu	Mining version histories to verify the learning process of Legitimate Peripheral Participants.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	Legitimate Peripheral Participants (LPP), open boundary, open source software development process
12	Abram Hindle, Daniel M. Germán	SCQL: a formal model and a query language for source control repositories.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF
12	Gerardo Canfora, Luigi Cerulo	Impact Analysis by Mining Software and Change Request Repositories.	IEEE METRICS	2005	DBLP DOI BibTeX RDF
12	Julie A. Street, Robert G. Pettit IV	The Impact of UML 2.0 on Existing UML 1.4 Models.	MoDELS	2005	DBLP DOI BibTeX RDF
12	Francisco J. Ferrer-Troyano, Jesús S. Aguilar-Ruiz, José Cristóbal Riquelme Santos	Incremental rule learning based on example nearness from numerical data streams.	SAC	2005	DBLP DOI BibTeX RDF
12	Tanya Dunlap	Going beyond the call of duty: the implementation and support of OMNI.	SIGUCCS	2005	DBLP DOI BibTeX RDF	application implementation, application support, board of regents, online management of networked information (OMNI), enterprise resource planning (ERP)
12	Victor W. Marek, Inna Pivkina, Miroslaw Truszczynski	Approximating Answer Sets of Unitary Lifschitz-Woo Programs.	LPNMR	2005	DBLP DOI BibTeX RDF
12	Ioana Banicescu, Ricolindo Cariño, Jane L. Harvill, John Patrick Lestrade	Simulation of Vector Nonlinear Time Series Models on Clusters.	IPDPS	2005	DBLP DOI BibTeX RDF
12	Yan Qu, George W. Furnas	Sources of structure in sensemaking.	CHI Extended Abstracts	2005	DBLP DOI BibTeX RDF	representations, information seeking, sensemaking
12	Bui Minh Duc	Uniform object modeling methodology and reuse of real-time system using UML.	EMSOFT	2005	DBLP DOI BibTeX RDF	UML design, induced energy, object message, reactive systems, modeling methodology, embedded real-time systems, object technology
12	Ioana Banicescu, Ricolindo Cariño, Jane L. Harvill, John Patrick Lestrade	Computational Challenges in Vector Functional Coefficient Autoregressive Models.	International Conference on Computational Science (1)	2005	DBLP DOI BibTeX RDF
12	Martín López Nores, José Juan Pazos-Arias, Jorge García Duque, Ana Belén Barragáns-Martínez, Rebeca P. Díaz Redondo, Ana Fernández Vilas, Alberto Gil-Solla, Manuel Ramos Cabrer	Tracing Integration Analysis in Component-Based Formal Specifications.	FMOODS	2005	DBLP DOI BibTeX RDF
12	Shih-Kun Huang, Kang-min Liu	Mining version histories to verify the learning process of Legitimate Peripheral Participants.	MSR	2005	DBLP DOI BibTeX RDF	Legitimate Peripheral Participants (LPP), open boundary, open source software development process
12	Abram Hindle, Daniel M. Germán	SCQL: a formal model and a query language for source control repositories.	MSR	2005	DBLP DOI BibTeX RDF
12	Heidi Rose, Chiou Peng Lam, Huaizhong Li	Using XML in Version Management of Chemical Process Models.	APWeb	2005	DBLP DOI BibTeX RDF
12	Lei Wu 0001, Houari A. Sahraoui, Petko Valtchev	Coping with Legacy System Migration Complexity.	ICECCS	2005	DBLP DOI BibTeX RDF	architecture recover, migration complexity, fuzzy prioritization, legacy software, decomposition algorithm, business logic
12	Wynne W. Chin, Dorothy E. Leidner	From the editors.	Data Base	2004	DBLP DOI BibTeX RDF
12	Stephen Bailey, Erich Marschner, Jayaram Bhasker, Jim Lewis, Peter J. Ashenden	Improving Design and Verification Productivity with VHDL-200x.	DATE	2004	DBLP DOI BibTeX RDF
12	Zhihui Xiong, Sikun Li, Jihua Chen, Maojun Zhang	Hardware/Software Co-design Environment for Hierarchical Platform-Based Design.	CSCWD (Selected papers)	2004	DBLP DOI BibTeX RDF
12	Glenn T. Jayaputera, Arkady B. Zaslavsky, Seng Wai Loke	Run-Time Mission Evolution in Mobile Multiagent Systems.	IAT	2004	DBLP DOI BibTeX RDF
12	Robert J. Ross, Rem W. Collier, Gregory M. P. O'Hare	AF-APL - Bridging Principles and Practice in Agent Oriented Languages.	PROMAS	2004	DBLP DOI BibTeX RDF
12	Adam D. Bradley, Azer Bestavros, Assaf J. Kfoury	A Typed Model for Encoding-Based Protocol Interoperability.	ICNP	2004	DBLP DOI BibTeX RDF
12	Eelco Dolstra, Eelco Visser, Merijn de Jonge	Imposing a Memory Management Discipline on Software Deployment.	ICSE	2004	DBLP DOI BibTeX RDF
12	Koji Yatani, Masanori Sugimoto, Fusako Kusunoki	Musex: A System for Supporting Children's Collaborative Learning in a Museum with PDAs.	WMTE	2004	DBLP DOI BibTeX RDF
12	Russell E. McMahon	How can you teach what you don't know?: a case study of learning and teaching microsoft .NET framework and C#.	SIGITE Conference	2004	DBLP DOI BibTeX RDF	Perry levels, teaching challenges, information technology education, C#, NET
12	Pinata Winoto, Gordon I. McCalla, Julita Vassileva	Non-Monotonic-Offers Bargaining Protocol.	AAMAS	2004	DBLP DOI BibTeX RDF
12	Alfonso Gerevini, Ivan Serina	Planning as Propositional CSP: From Walksat to Local Search Techniques for Action Graphs.	Constraints An Int. J.	2003	DBLP DOI BibTeX RDF	planning as CSP, propositional CSP, planning graphs, planning, local search, heuristic search
12	Juyoung Kang 0001, Jae Kyu Lee	Extraction of Structured Rules from Web Pages and Maintenance of Mutual Consistency: XRML Approach.	RuleML	2003	DBLP DOI BibTeX RDF
12	Rolf T. Wigand	Facing the Music: Value-Driven Electronic Markets, Networks and Value Webs in Economic Integration of Digital Products.	Digital Rights Management	2003	DBLP DOI BibTeX RDF
12	Cem Kaner	Liability for defective documentation.	SIGDOC	2003	DBLP DOI BibTeX RDF	UCC, UCITA, deceptive practices, user manual, warranty, contract, fraud
12	Vijaya Ramachandran, Ramesh K. Sitaraman	SPAA 1999 - Guest Editors' Foreword.	Theory Comput. Syst.	2002	DBLP DOI BibTeX RDF
12	Joaquin Miller	Introduction.	Commun. ACM	2002	DBLP DOI BibTeX RDF	UML
12	John Cooke, B. Tim Denvir	Editorial.	Formal Aspects Comput.	2002	DBLP DOI BibTeX RDF
12	Frank Hunleth, Ron Cytron	Footprint and feature management using aspect-oriented programming techniques.	LCTES-SCOPES	2002	DBLP DOI BibTeX RDF	embedded systems, middleware, AOP, software composition, event service, subsetting
12	Stefano Markidis, Giovanni Lapenta, W. B. VanderHeyden	Parsek: object oriented particle in cell. implementation and performance issues.	Java Grande	2002	DBLP DOI BibTeX RDF	cartablanca, implicit PIC method, parallel, compilator, physics, OO programming
12	Antónia Lopes, José Luiz Fiadeiro	Revisiting the Categorical Approach to Systems.	AMAST	2002	DBLP DOI BibTeX RDF
12	Axel Schairer, Dieter Hutter	Proof Transformations for Evolutionary Formal Software Development.	AMAST	2002	DBLP DOI BibTeX RDF
12	Morris Weinstock-Blair	Automating access to computing services.	SIGUCCS	2002	DBLP DOI BibTeX RDF	database, automation, accounts, relational, redesign, computer services
12	Masahiro Fujita	Sony Four Legged Robot League at RoboCup 2002.	RoboCup	2002	DBLP DOI BibTeX RDF
12	Premysl Brada	Metadata Support for Safe Component Upgrades.	COMPSAC	2002	DBLP DOI BibTeX RDF
12	Russell S. Blue, Jeff Wampler, G. Bowden Wise, Louis J. Hoebel, Boris Yamrom, Christopher R. Volpe, Bruce Wilde, Pascale Rondot, Ann E. Kelley Sobel, Anne Gilman, Wesley Turner, Steve Linthicum, George Ryon	An automated approach and virtual environment for generating maintenance instructions.	CHI Extended Abstracts	2002	DBLP DOI BibTeX RDF	maintainability analysis, maintenance manual development, XML, virtual environments, haptics, natural language, human-centered design, text generation
12	Morten Hertzum, Niels Ebbe Jacobsen, Rolf Molich	Usability inspections by groups of specialists: perceived agreement in spite of disparate observations.	CHI Extended Abstracts	2002	DBLP DOI BibTeX RDF	inspections, usability evaluation methods, evaluator effect
12	Ravi Kothari, Mukesh K. Mohania, Yahiko Kambayashi	Increasing Realized Revenue in a Web Based Dutch Auction.	EC-Web	2002	DBLP DOI BibTeX RDF
12	Lin Jia, R. W. Newcomb	VLSI realization of four-port ear-type transmission lattice filter.	ISCAS (4)	2002	DBLP DOI BibTeX RDF
12	Hee-Cheol Kim 0001	From Comments to Dialogues: A Study of Asynchronous Dialogue Processes as Part of Collaborative Reviewing on the Web.	HICSS	2002	DBLP DOI BibTeX RDF	commenting function, multiple threads, written communication, HCI, CSCW, Web, annotation, email, collaborative writing, dialogue analysis, language game
12	Alfred J. van der Poorten	Peer Refereeing ... Will It Be Missed?	Electronic Information and Communication in Mathematics	2002	DBLP DOI BibTeX RDF
12	Richard Booth 0001	On the Logic of Iterated Non-prioritised Revision.	WCII	2002	DBLP DOI BibTeX RDF
12	L. Jean Camp, Helen Nissenbaum, Cathleen McGrath	Trust: A Collision of Paradigms.	Financial Cryptography	2001	DBLP BibTeX RDF
12	Lindley Darden	Discovering Mechanisms: A Computational Philosophy of Science Perspective.	Discovery Science	2001	DBLP DOI BibTeX RDF
12	Lindley Darden	Discovering Mechanisms: A Computational Philosophy of Science Perspective.	ALT	2001	DBLP DOI BibTeX RDF
12	Jie Xing, Feng Wan, Sudhir K. Rustogi, Munindar P. Singh	Commitment-Based Interoperation for E-Commerce.	ISADS	2001	DBLP DOI BibTeX RDF
12	Sanjay Modgil, Peter Hammond	Generating Symbolic and Natural Language Partial Solutions for Inclusion in Medical Plans.	AIME	2001	DBLP DOI BibTeX RDF
12	William W. Pritchett	An object-oriented metrics suite for Ada 95.	SIGAda	2001	DBLP DOI BibTeX RDF	Ada
12	Sencan Sengul, James W. Gish, James F. Tremlett	Building a service provisioning system using the Enterprise JavaBean framework.	NOMS	2000	DBLP DOI BibTeX RDF
12	Alexander N. Inozemtsev, Dmitry I. Troitsky, Mark W. McK. Bannatyne	Parametric Modeling: Concept and Implementation.	IV	2000	DBLP DOI BibTeX RDF
12	Ulrich Frank	Multi-Perspective Enterprise Models as a Conceptual Foundation for Knowledge Management.	HICSS	2000	DBLP DOI BibTeX RDF
12	A. K. Bhattacharjee, Gopa Sen, S. D. Dhodapkar, Kundapur Karunakar, Basant Rajan, R. K. Shyamasundar	A System for Object Code Validation.	FTRTFT	2000	DBLP DOI BibTeX RDF
12	Alan D. Sloane	Modeling deployment and configuration of CORBA systems with UML (poster).	ICSE	2000	DBLP DOI BibTeX RDF	UML, UML, CORBA, system configuration
12	Aino Cornils, Görel Hedin	Statically Checked Documentation with Design Patterns.	TOOLS (33)	2000	DBLP DOI BibTeX RDF
12	José Hernández-Orallo, M. José Ramírez-Quintana	Software as Learning: Quality Factors and Life-Cycle Revised.	FASE	2000	DBLP DOI BibTeX RDF
12	Bernard C. Y. Tan, Kwok Kee Wei, Choon-Ling Sia, Krishnamurthy S. Raman	A Partial Test of the Task-medium Fit Proposition in a Group Support System Environment.	ACM Trans. Comput. Hum. Interact.	1999	DBLP DOI BibTeX RDF	group support systems, task type, media richness
12	Sang-Yoon Min, Yoon-Kyu Jan, Sung Deok Cha, Yong Rae Kwon, Doo-Hwan Bae	Safety Verification of Ada95 Programs Using Software Fault Trees.	SAFECOMP	1999	DBLP DOI BibTeX RDF
12	V. Wiktor Marek, Inna Pivkina, Miroslaw Truszczynski	Annotated Revision Programs.	LPNMR	1999	DBLP DOI BibTeX RDF
12	Haiyan Xu, Tetsuya Furukawa, Yihua Shi	Supporting Cooperative Work Based on the Semantics of Workflows.	DANTE	1999	DBLP DOI BibTeX RDF
12	Hirofumi Amano, Ken'ichirou Kimura, Akifumi Makinouchi	Improving Dynamic Load Balancing Mechanisms for a Massively Parallel Database Programming Language.	DANTE	1999	DBLP DOI BibTeX RDF	load balancing, parallel processing, object-oriented database, database programming language
12	Guillem Bernat, Alan Burns 0001	New Results on Fixed Priority Aperiodic Servers.	RTSS	1999	DBLP DOI BibTeX RDF
12	Olga Stepánková, Michal Pechoucek, Vladimír Marík, Jirí Lazanský	Applications Model-Based Co-operative Agents in Production Planning.	DEXA	1998	DBLP DOI BibTeX RDF
12	Thomas Leo McCluskey, Margaret Mary West	Towards the Automated Debugging and Maintenance of Logic-based Requirements Models.	ASE	1998	DBLP DOI BibTeX RDF
12	David B. Leake, David C. Wilson	Categorizing Case-Base Maintenance: Dimensions and Directions.	EWCBR	1998	DBLP DOI BibTeX RDF
12	Richard C. Holt, J. Y. Pak	GASE: visualizing Software Evolution-in-the-Large.	WCRE	1996	DBLP DOI BibTeX RDF	software structural change visualization, GASE visualization tool, Graphical Analyzer for Software Evolution, architectural changes, industrial software system, software evolution-in-the-large visualization, long lived software systems, data visualisation, legacy systems, large software systems
12	Stanley M. Sutton Jr., Leon J. Osterweil	Product families and process families.	ISPW	1996	DBLP DOI BibTeX RDF	software process families, host platforms, software process engineering, security, software engineering, product lines, software product families
12	Hirotomo Okuno, Hideki Matsumoto, Hironori Asai, Mikiko Sakurai, Takao Nakayama	Reuse in the application layer.	CASCON	1996	DBLP BibTeX RDF
12	V. Venkateswar, Rama Chellappa	Hierarchical stereo and motion correspondence using feature groupings.	Int. J. Comput. Vis.	1995	DBLP DOI BibTeX RDF
12	C. V. Ramamoorthy	Distributed techniques in software systems integration.	FTDCS	1995	DBLP DOI BibTeX RDF	software systems integration, distributed computing techniques, traditional software development, waterfall model, basic conceptual model, generic integration lifecycle, design, formal specification, testing, specification, software development, software tools, validation, requirements, implementation, program verification, software development management, consumer electronics, iterative testing, automation support
12	Mary-Anne Williams	On the Logic of Theory Base Change.	JELIA	1994	DBLP DOI BibTeX RDF
12	Fumihiko Kamijo, Masato Nakayashiki	Difficulties in integrating the IT qualification test and training curriculum.	J. Syst. Integr.	1992	DBLP DOI BibTeX RDF	Information technology engineers, qualification examination, curriculum integration, large-application integration
12	Edward Sciore	Using Annotations to Support Multiple Kinds of Versioning in an Object-Oriented Database System.	ACM Trans. Database Syst.	1991	DBLP DOI BibTeX RDF	object-oriented databases, configuration management, versions
12	Christine A. Montgomery, Bonnie Glover Stalls, Robert S. Belvin, Robert E. Stumberger	Language Systems, Inc.: MUC-3 test results and analysis.	MUC	1991	DBLP DOI BibTeX RDF
12	Neff Walker, John B. Smelcer	A comparison of selection time from walking and pull-down menus.	CHI	1990	DBLP DOI BibTeX RDF
12	Terry Winograd	What can we teach about human-computer interaction? (plenary address).	CHI	1990	DBLP DOI BibTeX RDF
12	Hans Brunner	A snapshot of natural language interfaces (panel).	CHI	1990	DBLP DOI BibTeX RDF
12	Jakob Nielsen	Designing for international use (panel).	CHI	1990	DBLP DOI BibTeX RDF
12	S. Joy Mountford	Designers: meet your users (panel).	CHI	1990	DBLP DOI BibTeX RDF	Apple Computer, HyperCard, Inc
12	Marcy Telles	Updating an older interface.	CHI	1990	DBLP DOI BibTeX RDF	WordStar
12	A. Khanna, John A. Zinky	The Revised ARPANET Routing Metric.	SIGCOMM	1989	DBLP DOI BibTeX RDF	ARPANET
12	Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Dean Jacobs	Algebraic Software Development Concepts for Module and Configuration Families.	FSTTCS	1989	DBLP DOI BibTeX RDF	module families, configuration families, formal specification development, software engineering, modules, algebraic specifications
12	M. Chastain, G. Gostin, James E. Mankovich, Steven J. Wallach	The convex C240 architecture.	SC	1988	DBLP DOI BibTeX RDF
12	Christopher W. Fraser, Eugene W. Myers	An Editor for Revision Control.	ACM Trans. Program. Lang. Syst.	1987	DBLP DOI BibTeX RDF
12	Gerald J. Stuzin	An expert system for tuning a macroeconometric model (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
12	Arla E. Weinert	A SIMSCRIPT-FORTRAN case study.	Commun. ACM	1967	DBLP DOI BibTeX RDF
12	Arthur F. Kaupe Jr.	A note on the dangling else ALGOL 60.	Commun. ACM	1963	DBLP DOI BibTeX RDF