Search results for "co-elaboration"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
10	Diane Jamieson, Kevin Vinsen, Guy Callender	Agile Procurement: New Acquisition Approach to Agile Software Development.	EUROMICRO-SEAA	2005	DBLP DOI BibTeX RDF
10	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
10	Grzegorz Blizniuk, Mariusz Momotko, Bartosz Nowicki, Jakub Strychowski	The EWD-P System: Polish Government - Council of the European Union Interoperability Achieved.	HICSS	2005	DBLP DOI BibTeX RDF
10	Ching-Huey Wang, William C. Chu, Feng-Jian Wang	Providing a behavioral and static formal model to elicit the functional software requirement.	IRI	2005	DBLP DOI BibTeX RDF
10	Markus Schwaninger, Thomas Hamann	Theory-Building with System Dynamics: Principles and Practices.	EUROCAST	2005	DBLP DOI BibTeX RDF
10	Herwig Mannaert, Paul Adriaenssens	A Scheduling Engine to Allocate Resources for Multicast Transmissions over a Satellite Link.	AICT/SAPIR/ELETE	2005	DBLP DOI BibTeX RDF
10	G. M. Khoury, Maarouf Saad, Hadi Youssef Kanaan, C. Asmar	Fuzzy PID Control of a Five DOF Robot Arm.	J. Intell. Robotic Syst.	2004	DBLP DOI BibTeX RDF	five DOF robot arm, fuzzy control, numerical simulation, PID controllers
10	Renaud De Landtsheer, Emmanuel Letier, Axel van Lamsweerde	Deriving tabular event-based specifications from goal-oriented requirements models.	Requir. Eng.	2004	DBLP DOI BibTeX RDF	Specification transformation, Lightweight formal analysis, Goal-oriented requirements engineering, Method integration, SCR
10	John J. Bartholdi III, Paul Goldsman	Multiresolution Indexing of Triangulated Irregular Networks.	IEEE Trans. Vis. Comput. Graph.	2004	DBLP DOI BibTeX RDF
10	Jérôme Godard, Frédéric Andrès, Elham Andaroodi, Katsumi Maruyama	Towards a Service-Oriented Architecture for the Adaptive Delivery of Heterogeneous Cultural Resources.	DELOS	2004	DBLP DOI BibTeX RDF
10	Kirsten R. Butcher, Walter Kintsch	Learning with Diagrams: Effects on Inferences and the Integration of Information.	Diagrams	2004	DBLP DOI BibTeX RDF
10	Joseph Canou, Gilles Mourioux, Cyril Novales, Gérard Poisson	A Local Map building Process for a Reactive Navigation of a Mobile Robot.	ICRA	2004	DBLP DOI BibTeX RDF
10	Alexandre L. Correa, Cláudia Maria Lima Werner	Applying Refactoring Techniques to UML/OCL Models.	UML	2004	DBLP DOI BibTeX RDF
10	Sebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee	Fluent-Based Animation: Exploiting the Relation between Goals and Scenarios for Requirements Validation.	RE	2004	DBLP DOI BibTeX RDF
10	Axel van Lamsweerde	Goal-Oriented Requirements Enginering: A Roundtrip from Research to Practice.	RE	2004	DBLP DOI BibTeX RDF
10	Luncheng Lin, Bashar Nuseibeh, Darrel C. Ince, Michael Jackson 0001	Using Abuse Frames to Bound the Scope of Security Problems.	RE	2004	DBLP DOI BibTeX RDF
10	David Ginat	Embedding instructive assertions in program design.	ITiCSE	2004	DBLP DOI BibTeX RDF	design perspectives, pedagogy, assertions
10	Marcela Prieto Ferraro, Helmut Leighton Álvarez, Francisco José García-Peñalvo	Adaptive Educational Hypermedia Proposal Based on Learning Styles and Quality Evaluation.	AH	2004	DBLP DOI BibTeX RDF
10	Sebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee	System architecture: the context for scenario-based model synthesis.	SIGSOFT FSE	2004	DBLP DOI BibTeX RDF	architecture, synthesis, generalisation, MSCs
10	Emmanuel Letier, Axel van Lamsweerde	Reasoning about partial goal satisfaction for requirements and design engineering.	SIGSOFT FSE	2004	DBLP DOI BibTeX RDF	partial satisfaction of requirements, probabilistic requirements modeling, reasoning about design alternatives, non-functional requirements, goal-oriented requirements engineering
10	Claus Bossen, Jens Bæk Jørgensen	Context-descriptive prototypes and their application to medicine administration.	Conference on Designing Interactive Systems	2004	DBLP DOI BibTeX RDF	pervasive computing, user-centered design, prototyping
10	David Ahn, Valentin Jijkoun, Karin Müller 0001, Maarten de Rijke, Stefan Schlobach, Gilad Mishne	Making Stone Soup: Evaluating a Recall-Oriented Multi-stream Question Answering System for Dutch.	CLEF	2004	DBLP DOI BibTeX RDF
10	Lerina Aversano, Thierry Bodhuin, Gerardo Canfora, Maria Tortorella	A Framework for Measuring Business Processes Based on GQM.	HICSS	2004	DBLP DOI BibTeX RDF
10	Alberto Finzi, Thomas Lukasiewicz	Relational Markov Games.	JELIA	2004	DBLP DOI BibTeX RDF
10	Stefano Zaffagnini, Sandra Martelli, Marco Bontempi, Simone Bignozzi	Computer-Assisted Evaluation of Double-Bundle ACL Reconstruction.	MIAR	2004	DBLP DOI BibTeX RDF	ACL reconstruction, knee, computer analysis, kinematic analysis
10	Lisandra V. Manzoni, Roberto Tom Price	Identifying Extensions Required by RUP (Rational Unified Process) to Comply with CMM (Capability Maturity Model) Levels 2 and 3.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	process assessment model, Unified Modeling Language, UML, software quality, software process, Capability Maturity Model, CMM, RUP, Rational Unified Process
10	Robert Rasch, Alexander Kott, Kenneth D. Forbus	Incorporating AI into Military Decision Making: An Experiment.	IEEE Intell. Syst.	2003	DBLP DOI BibTeX RDF	military decision making, experimental AI, course-of-action analysis, knowledge-based systems, qualitative reasoning, planning and scheduling, sketch-based interfaces, decision aids
10	Marco Mellia, Andrea Carpani, Renato Lo Cigno	TStat: TCP STatistic and Analysis Tool.	QoS-IP	2003	DBLP DOI BibTeX RDF
10	Pierre Laforcade, Franck Barbier, Christian Sallaberry, Thierry Nodenot	Profiling Co-Operative Problem-Based Learning Situations.	IEEE ICCI	2003	DBLP DOI BibTeX RDF
10	David Cachera, David Pichardie	Embedding of Systems of Affine Recurrence Equations in Coq.	TPHOLs	2003	DBLP DOI BibTeX RDF
10	Amel Mammar, Régine Laleau	Design of an Automatic Prover Dedicated to the Refinement of Database Applications.	FME	2003	DBLP DOI BibTeX RDF	Refinement process, Proof reuse, B method, Data-intensive applications
10	Renaud De Landtsheer, Emmanuel Letier, Axel van Lamsweerde	Deriving Tabular Event-Based Specifications from Goal-Oriented Requirements Models.	RE	2003	DBLP DOI BibTeX RDF
10	Sadika Selka, Zoulikha Mekkakia	Implementation of the Communication for the Cooperation in Mycin.	CBMS	2003	DBLP DOI BibTeX RDF
10	Carla Cristilli, Sergio Carlomagno	Conceptual and Lexical Factors in the Production of Speech and Conversational Gestures: Neuropsychological Evidence.	Gesture Workshop	2003	DBLP DOI BibTeX RDF
10	Jean Lieber, Mathieu d'Aquin, Pierre Bey, Amedeo Napoli, Maria Rios, Catherine Sauvagnac	Acquisition of Adaptation Knowledge for Breast Cancer Treatment Decision Support.	AIME	2003	DBLP DOI BibTeX RDF
10	Marcellin Buisson, Isabelle Sallagoïty, Sylvie Athènes, Christophe P. Mertz	From human movement analysis to interface design: applications to writing and gesture based user interface.	IHM	2003	DBLP DOI BibTeX RDF	2D gesture, writing production, gesture recognition, gesture interaction, human movement
10	Dessislava Vassileva, Boyan Bontchev	CEVS - A Corporative E-voting System Based on EML.	ISCIS	2003	DBLP DOI BibTeX RDF
10	Chitta Baral, Karen Chancellor, Tran Hoai Nam, Nhan Tran	Representing and reasoning about signal networks: an illustration using NF\kappaB dependent signaling pathways.	CSB	2003	DBLP DOI BibTeX RDF
10	Rita Kuo, Wei-Peng Lien, Maiga Chang, Jia-Sheng Heh	Difficulty Analysis for Learners in Problem Solving Process Based on the Knowledge Map.	ICALT	2003	DBLP DOI BibTeX RDF
10	Daniela Micucci, Francesco Tisato, Andrea Trentini	A Connector-Based Approach for Controlled Data Distribution in RTP Architecture.	ICDCS Workshops	2003	DBLP DOI BibTeX RDF
10	David O'Sullivan	Toward micro-scale spatial modeling of gentrification.	J. Geogr. Syst.	2002	DBLP DOI BibTeX RDF
10	Evangelia Kavakli	Goal-Oriented Requirements Engineering: A Unifying Framework.	Requir. Eng.	2002	DBLP DOI BibTeX RDF	Goal analysis, Goal modelling, Goal-oriented requirements engineering, Method integration
10	Ilias P. Tatsiopoulos, Stavros T. Ponis, Nikolaos A. Panayiotou	e-business in the Greek Apparel Industry: A proposed business model.	Oper. Res.	2002	DBLP DOI BibTeX RDF	Apparel industry, e-business technologies, Business model
10	Lora Aroyo, Darina Dicheva, Alexandra I. Cristea	Ontological Support for Web Courseware Authoring.	Intelligent Tutoring Systems	2002	DBLP DOI BibTeX RDF
10	Jan Vorácek, Nina Kontro-Vesivalo	International education in information technology.	ITiCSE	2002	DBLP DOI BibTeX RDF
10	Tony Veale	Meta-knowledge Annotation for Efficient Natural-Language Question-Answering.	AICS	2002	DBLP DOI BibTeX RDF
10	Marian Bubak, Thomas Ludwig 0002	Support Tools and Environments.	Euro-Par	2002	DBLP DOI BibTeX RDF
10	Emmanuel Letier, Axel van Lamsweerde	Deriving operational software specifications from system goals.	SIGSOFT FSE	2002	DBLP DOI BibTeX RDF	incremental specification, reasoning about partial models, patterns, goal-oriented requirements engineering, KAOS, operationalization, frame problem
10	Ghuilaine Clouet, Isabelle Lambert	Etude comparative de méthodes d'identification de la perception des usagers sur la qualité des sites Web.	IHM	2002	DBLP DOI BibTeX RDF	individual interview, internet, focus group, user perception
10	Lorcan Coyle, Padraig Cunningham, Conor Hayes	A Case-Based Personal Travel Assistant for Elaborating User Requirements and Assessing Offers.	ECCBR	2002	DBLP DOI BibTeX RDF
10	Rini van Solingen, Egon Berghout	Integrating Goal-Oriented Measurement in Industrial Software Engineering: Industrial Experiences with and Additions to the Goal/Question/Metric Method (GQM).	IEEE METRICS	2001	DBLP DOI BibTeX RDF
10	Igor Chimir, Mark A. Horney	New Visions of Old Models.	Cognitive Technology	2001	DBLP DOI BibTeX RDF
10	Dimitris Konstantinou, Nectarios Koziris, George K. Papakonstantinou	TOPPER: A Tool for Optimizing the Performance of Parallel Applications.	PVM/MPI	2001	DBLP DOI BibTeX RDF
10	Kathrin Böttger, Rolf Schwitter, Diego Mollá Aliod, Debbie Richards 0001	Towards Reconciling Use Cases via Controlled Language and Graphical Models.	INAP (LNCS Volume)	2001	DBLP DOI BibTeX RDF
10	Ewa Deelman, Carl Kesselman, Roy Williams, Albert Lazzarini, Thomas A. Prince, Joe Romano, Bruce Allen	A Virtual Data Grid for LIGO.	HPCN	2001	DBLP DOI BibTeX RDF
10	Laurent Montès, Lionel Palun, Panagiota Morfouli, Nathalie Mathieu, Nadine Guillemot, Sandrine Descheneaux, Jean-Michel Terrot, Christophe Malhaire	Micro-System Process for Education: Fabrication of a Pressure Sensor.	MSE	2001	DBLP DOI BibTeX RDF
10	Rachelle S. Heller	Use of the multimedia taxonomy for a research direction into design and evaluation of materials for the elderly.	Workshop on Universal Accessibility of Ubiquitous Computing	2001	DBLP DOI BibTeX RDF	evaluation, design, multimedia, computer human interaction
10	Alexander V. Spirov, Dmitry L. Timakin, John Reinitz, David Kosman	Using of Evolutionary Computations in Image Processing for Quantitative Atlas of Drosophila Genes Expression.	EvoWorkshops	2001	DBLP DOI BibTeX RDF
10	I. V. Schevtschenko	A Parallel ADI Method for a Nonlinear Equation Describing Gravitational Flow of Ground Water.	International Conference on Computational Science (1)	2001	DBLP DOI BibTeX RDF	gravitational flow of ground water, Peaceman-Rachford difference scheme, parallel ADI method, conjugate gradient method, finite difference method
10	Florin Muscutariu, Marie-Pierre Gervais	On the Modelling of Mobile Agent-Based Systems.	MATA	2001	DBLP DOI BibTeX RDF
10	Marian Wiwart, Irena Koczowska, Andrzej Borusiewicz	Estimation of Fusarium Head Blight of Triticale Using Digital Image Analysis of Grain.	CAIP	2001	DBLP DOI BibTeX RDF	Fusarium infestation, colour model, image analysis
10	Axel van Lamsweerde	Building Formal Requirements Models for Reliable Software.	Ada-Europe	2001	DBLP DOI BibTeX RDF
10	Philippe Waroquiers, Stef van Vlierberghe, Dirk Craeynest, Andrew Hately, Erik Duvinage	Migrating Large Applications from Ada83 to Ada95.	Ada-Europe	2001	DBLP DOI BibTeX RDF
10	Axel van Lamsweerde, Emmanuel Letier	Handling Obstacles in Goal-Oriented Requirements Engineering.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	high-level exception handling, obstacle-based requirements transformation, defensive requirements specification, Goal-oriented requirements engineering, lightweight formal methods, specification refinement
10	Cornelia Kneser, Eric Fehse, Fabian Hermann	Kooperatives Lernen auf der Grundlage komplementaeren Vorwissens: ein Experiment und eine Simulationsstudie.	Kognitionswissenschaft	2000	DBLP DOI BibTeX RDF
10	Frank Moisiadis	Prioritizing Scenario Evolution.	ICRE	2000	DBLP DOI BibTeX RDF	UML, scenarios, Social Network Analysis, Use cases, stakeholders, prioritization
10	Paulo Pinheiro da Silva, Norman W. Paton	UMLi: The Unified Modeling Language for Interactive Applications.	UML	2000	DBLP DOI BibTeX RDF
10	Peter Graubmann, Ekkart Rudolph	HyperMSCs and Sequence Diagrams for Use Case Modelling and Testing.	UML	2000	DBLP DOI BibTeX RDF	distributed systems, software engineering, real time systems, UML, testing, telecommunication, Sequence Diagrams, Use Cases, MSC, OO
10	Lovic Gauthier, Ahmed Amine Jerraya	Cycle-True Simulation of the ST10 Microcontroller.	DATE	2000	DBLP DOI BibTeX RDF
10	Vojislav B. Misic, J. Leon Zhao	Evaluating the Quality of Reference Models.	ER	2000	DBLP DOI BibTeX RDF
10	John Cook	Cooperative Problem-Seeking Dialogues in Learning.	Intelligent Tutoring Systems	2000	DBLP DOI BibTeX RDF
10	Akihiro Kashihara, Shinobu Hasegawa, Jun'ichi Toyoda	Annotating Exploration History and Knowledge Mapping for Learning with Web-Based Resources.	Intelligent Tutoring Systems	2000	DBLP DOI BibTeX RDF
10	Pierre Bontron, Marie-Laure Potet	Automatic Construction of Validated B Components from Structured Developments.	ZB	2000	DBLP DOI BibTeX RDF
10	Paul Grünbacher	Collaborative Requirements Negotiation with EasyWinWin.	DEXA Workshops	2000	DBLP DOI BibTeX RDF	collaborative requirements negotiation, EasyWinWin methodology, WinWin negotiation model, group productivity, product release planning, systems analysis, COTS, collaborative tools, requirements prioritization, requirements negotiation
10	Clinton Heinze, Michael Papasimeon, Simon Goss	Specifying Agent Behaviour with Use Cases.	PRIMA	2000	DBLP DOI BibTeX RDF
10	Lovic Gauthier, Ahmed Amine Jerraya	Cycle-True Simulation of the ST10 Microcontroller Including the Core and the Peripherals.	IEEE International Workshop on Rapid System Prototyping	2000	DBLP DOI BibTeX RDF	cycle-true, simulator, microcontroller
10	Arkady Bolotin	Operator Method of Fuzzification.	ISMDA	2000	DBLP DOI BibTeX RDF
10	Gert-Jan de Vreede, Robert O. Briggs, J. H. Ron van Duin, Bert Enserink	Athletics in Electronic Brainstorming: Asynchronous Electronic Brainstorming in Very Large Groups.	HICSS	2000	DBLP DOI BibTeX RDF
10	Timour Paltashev, Gheni Abla, Navin Govind	Simulation of Hardware Support for OpenGL Graphics Architecture.	ITCC	2000	DBLP DOI BibTeX RDF	performance evaluation, computer graphics, computer architecture, computer simulation, OpenGL
10	Andrzej Izworski, Ryszard Tadeusiewicz, Andrzej Paslawski	The Utilization of Context Signals in the Analysis of ABR Potentials by Application of Neural Networks.	ECML	2000	DBLP DOI BibTeX RDF
10	Robert Laddaga, Paul Robertson 0001, Howard E. Shrobe	Results of the First International Workshop on Self Adaptive Software.	IWSAS	2000	DBLP DOI BibTeX RDF
10	Marianne Huchard, Hervé Leblanc	Computing Interfaces in Java.	ASE	2000	DBLP DOI BibTeX RDF
10	Axel van Lamsweerde	Requirements engineering in the year 00: a research perspective.	ICSE	2000	DBLP DOI BibTeX RDF
10	Gerard Ligozat	From Language to Motion, and Back: Generating and Using Route Descriptions.	Natural Language Processing	2000	DBLP DOI BibTeX RDF
10	Catherine Clouzot, Georges Antoniadis, Agnès Tutin	Constitution and Exploitation of an Annotation System of Electronic Corpora: Toward Automatic Generation of Understandable Pronouns in French Language.	Natural Language Processing	2000	DBLP DOI BibTeX RDF
10	Edward E. E. Frietman, Ramon J. Ernst, Roy E. Crosbie, Masao Shimoji	Prospects for Optical Interconnects in Distributed, Shared-Memory Organized MIMD Architectures.	J. Supercomput.	1999	DBLP DOI BibTeX RDF	free space data distributing system, fully connected topology, multi-stage interconnection scheme, opto electronic logic elements, photonic integrated circuits, distributed-shared memory systems
10	Eddy Mayoraz, Ethem Alpaydin	Support Vector Machines for Multi-class Classification.	IWANN (2)	1999	DBLP DOI BibTeX RDF
10	Mathias Quoy, Philippe Gaussier, Sacha Leprêtre, Arnaud Revel, Jean-Paul Banquet	A Planning Map for Mobile Robots: Speed Control and Paths Finding in a Changing Environment.	EWLR	1999	DBLP DOI BibTeX RDF
10	Thomas A. Alspaugh, Annie I. Antón, Tiffany Barnes, Bradford W. Mott	An Integrated Scenario Management Strategy.	RE	1999	DBLP DOI BibTeX RDF	goal-based requirements engineering, scenario evolution, Scenario management
10	Roberto Rodella, Giovanna Sansoni	3D Shape Recovery and Registration based on the Projection of Non Coherent Structured Light.	3DIM	1999	DBLP DOI BibTeX RDF
10	Atsushi Ohori, Nobuaki Yoshida	Type Inference with Rank 1 Polymorphism for Type-Directed Compilation of ML.	ICFP	1999	DBLP DOI BibTeX RDF
10	Claudio Sacchi, Carlo S. Regazzoni, Carlo Dambra	Remote Cable-Based Video Surveillance Applications: The Avs-Rio Project.	ICIAP	1999	DBLP DOI BibTeX RDF
10	Dino Giuli, Franco Pirri, Paolo Bussotti	Orchestra!: A Distributed Platform for Virtual Musical Groups and Music Distance Learning over the Internet in Java Technology.	ICMCS, Vol. 2	1999	DBLP DOI BibTeX RDF	Musical group synchronisation, collaborative systems, Internet service
10	Andrea Alimonda, Salvatore Carta, Luigi Raffo	A modular digital VLSI architecture for stereo depth estimation in industrial applications.	ISCAS (6)	1999	DBLP DOI BibTeX RDF
10	Franz Pichler	Modeling Complex Systems by Multi-agent Holarchies.	EUROCAST	1999	DBLP DOI BibTeX RDF
10	Pierfrancesco Bellini, M. Buonopane, M. Montanelli, Paolo Nesi	Evaluating a Flexible Architecture for Distributed Control.	ICECCS	1999	DBLP DOI BibTeX RDF	systems assessment, PCI, CANBUS, performance evaluation, Communication, distributed control, CNC, fieldbus, numerical control
10	Axel van Lamsweerde, Robert Darimont, Emmanuel Letier	Managing Conflicts in Goal-Driven Requirements Engineering.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	Goal-driven requirements engineering, divergent requirements, specification transformation, viewpoints, lightweight formal methods, conflict management
10	Geert Poels, Guido Dedene	Comments on "Property-Based Software Engineering Measurement: Refining the Additivity Properties".	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	measurement properties, module connection strength, Software measurement, additivity, measurement theory
10	Philippe Massonet, Axel van Lamsweerde	Analogical Reuse of Requirements Frameworks.	RE	1997	DBLP DOI BibTeX RDF
10	Spencer Rugaber, Linda M. Wills	Position Paper on Research Infrastructure for Reengineering.	WPC	1997	DBLP DOI BibTeX RDF	reengineering, research, infrastructure