Search results for "error-prone"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
7	Frederico Tosta de Oliveira, Leonardo Gresta Paulino Murta, Cláudia M. L. Werner, Marta Mattoso	Using Provenance to Improve Workflow Design.	IPAW	2008	DBLP DOI BibTeX RDF
7	Avinash Sharma 0001, Anoop M. Namboodiri	Object Category Recognition with Projected Texture.	ICVGIP	2008	DBLP DOI BibTeX RDF
7	Brian A. Canada, Georgia K. Thomas, Keith C. Cheng, James Ze Wang, Yanxi Liu 0001	Towards efficient automated characterization of irregular histology images via transformation to frieze-like patterns.	CIVR	2008	DBLP DOI BibTeX RDF	automated histology, computational symmetry, frieze patterns, zebrafish, texture analysis, dimension reduction
7	Hoda Dehmeshki, Wolfgang Stürzlinger	Intelligent Mouse-Based Object Group Selection.	Smart Graphics	2008	DBLP DOI BibTeX RDF
7	Taeshik Shon, Hyohyun Choi	Towards the Implementation of Reliable Data Transmission for 802.15.4-Based Wireless Sensor Networks.	UIC	2008	DBLP DOI BibTeX RDF
7	Alastair David Reid, Krisztián Flautner, Edmund Grimley-Evans, Yuan Lin 0002	SoC-C: efficient programming abstractions for heterogeneous multicore systems on chip.	CASES	2008	DBLP DOI BibTeX RDF	energy efficiency, embedded, parallel language
7	Hans-Joachim Bungartz, Wolfgang Eckhardt, Miriam Mehl, Tobias Weinzierl	DaStGen-A Data Structure Generator for Parallel C++ HPC Software.	ICCS (3)	2008	DBLP DOI BibTeX RDF
7	Huan Liu, Dan Orban	GridBatch: Cloud Computing for Large-Scale Data-Intensive Batch Applications.	CCGRID	2008	DBLP DOI BibTeX RDF	EC2, S3, GridBatch, Cloud Computing, MapReduce, Amazon
7	Goh Kondoh, Tamiya Onodera	Finding bugs in java native interface programs.	ISSTA	2008	DBLP DOI BibTeX RDF	typestate analysis, static analysis, java native interface
7	Sharad Malik	Hardware Verification: Techniques, Methodology and Solutions.	TACAS	2008	DBLP DOI BibTeX RDF
7	Benjamin Monate, Julien Signoles	Slicing for Security of Code.	TRUST	2008	DBLP DOI BibTeX RDF
7	Erdene-Ochir Tuguldur, Axel Hessler, Benjamin Hirsch, Sahin Albayrak	Toolipse: An IDE for Development of JIAC Applications.	ProMAS	2008	DBLP DOI BibTeX RDF
7	Trilce Estrada, Olac Fuentes, Michela Taufer	A distributed evolutionary method to design scheduling policies for volunteer computing.	Conf. Computing Frontiers	2008	DBLP DOI BibTeX RDF	volatile systems, genetic algorithms, distributed systems, global computing
7	Mahnaz Kadkhoda, Ali A. Pouyan	A New Approach for Modelling Circuits Containing NAND Gates Using Biomolecular Computing.	ICQNM	2008	DBLP DOI BibTeX RDF
7	Santiago Meliá, Jaime Gómez, Sandy Pérez, Oscar Díaz	A Model-Driven Development for GWT-Based Rich Internet Applications with OOH4RIA.	ICWE	2008	DBLP DOI BibTeX RDF
7	May Haydar, Houari A. Sahraoui, Alexandre Petrenko	Specification Patterns for Formal Web Verification.	ICWE	2008	DBLP DOI BibTeX RDF
7	Juan Carlos Preciado, Marino Linaje Trigueros, Rober Morales-Chaparro, Fernando Sánchez-Figueroa, Gefei Zhang, Christian Kroiss, Nora Koch	Designing Rich Internet Applications Combining UWE and RUX-Method.	ICWE	2008	DBLP DOI BibTeX RDF
7	Reiner Dojen, Anca Jurcut, Tom Coffey, Cornelia Györödi	On Establishing and Fixing a Parallel Session Attack in a Security Protocol.	IDC	2008	DBLP DOI BibTeX RDF	protocol flaws, parallel session attack, Security protocols
7	Wei-bang Chen, Chengcui Zhang	Bacteria Colony Enumeration and Classification for Clonogenic Assay.	ISM	2008	DBLP DOI BibTeX RDF
7	Brandeis Marshall, Dale-Marie Wilson	Applying Aggregation Concepts for Image Search.	ISM	2008	DBLP DOI BibTeX RDF
7	Martin Burtscher, Milind Kulkarni 0001, Dimitrios Prountzos, Keshav Pingali	On the Scalability of an Automatically Parallelized Irregular Application.	LCPC	2008	DBLP DOI BibTeX RDF	sparse graph algorithm, amorphous data-parallelism, optimistic execution, parallel programming, multicore processors, mesh refinement
7	Huifei Rao, Jie Chen 0002, Vicky H. Zhao, Woon Tiong Ang, I-Chyn Wey, An-Yeu Wu	An efficient methodology to evaluate nanoscale circuit fault-tolerance performance based on belief propagation.	ISCAS	2008	DBLP DOI BibTeX RDF
7	Chang Xu 0001, Shing-Chi Cheung, Wing Kwong Chan, Chunyang Ye	Heuristics-Based Strategies for Resolving Context Inconsistencies in Pervasive Computing Applications.	ICDCS	2008	DBLP DOI BibTeX RDF
7	Andrew C. Myers	Guiding Distributed Systems Synthesis with Language-Based Security Policies.	FMOODS	2008	DBLP DOI BibTeX RDF
7	Quan Liu, Xingran Cui, Xiuyin Hu	Conflict Resolution within Multi-agent System in Collaborative Design.	CSSE (1)	2008	DBLP DOI BibTeX RDF
7	Elena Navarro 0001, Carlos E. Cuesta	Automating the Trace of Architectural Design Decisions and Rationales Using a MDD Approach.	ECSA	2008	DBLP DOI BibTeX RDF	Model-Driven Development, Traceability, CASE Tool, Design Rationale, Design Decision, Model-To-Model Transformation
7	Markus Herrmannsdoerfer, Sebastian Benz, Elmar Jürgens	Automatability of Coupled Evolution of Metamodels and Models in Practice.	MoDELS	2008	DBLP DOI BibTeX RDF
7	Parastoo Mohagheghi, Miguel A. Fernández, Juan A. Martell, Mathias Fritzsche, Wasif Gilani	MDE Adoption in Industry: Challenges and Success Criteria.	MoDELS (Workshops)	2008	DBLP DOI BibTeX RDF	Model-driven engineering, traceability, challenges, domain-specific modeling, performance engineering
7	Ruth Breu, Janos Sztipanovits	Second International Workshop on the Model-Based Design of Trustworthy Health Information Systems MOTHIS 2008.	MoDELS (Workshops)	2008	DBLP DOI BibTeX RDF
7	Andreas Svendsen, Gøran K. Olsen, Jan Endresen, Thomas Moen, Erik Carlson, Kjell-Joar Alme, Øystein Haugen	The Future of Train Signaling.	MoDELS	2008	DBLP DOI BibTeX RDF	MoSiS, Train, model-driven development, signaling, DSL, interlocking
7	Brice Morin, Franck Fleurey, Nelly Bencomo, Jean-Marc Jézéquel, Arnor Solberg, Vegard Dehlen, Gordon S. Blair	An Aspect-Oriented and Model-Driven Approach for Managing Dynamic Variability.	MoDELS	2008	DBLP DOI BibTeX RDF
7	Cristian Bogdan, Jürgen Falb, Hermann Kaindl, Sevan Kavaldjian, Roman Popp, Helmut Horacek, Edin Arnautovic, Alexander Szep	Generating an Abstract User Interface from a Discourse Model Inspired by Human Communication.	HICSS	2008	DBLP DOI BibTeX RDF
7	Liqun Zhang, Haiyang Wang	A Block-Structured Mining Approach to Support Process Discovery.	FSKD (4)	2008	DBLP DOI BibTeX RDF
7	Sergio Pozo, Rafael Ceballos, Rafael M. Gasca	AFPL, an Abstract Language Model for Firewall ACLs.	ICCSA (2)	2008	DBLP DOI BibTeX RDF	ruleset, model, access control, language, firewalls, acl
7	Michael Wedel, Uwe Jensen, Peter Göhner	Mining software code repositories and bug databases using survival analysis models.	ESEM	2008	DBLP DOI BibTeX RDF	early fault prediction, time-dependent fault occurrence
7	Dharmesh Thakkar, Ahmed E. Hassan, Gilbert Hamann, Parminder Flora	A framework for measurement based performance modeling.	WOSP	2008	DBLP DOI BibTeX RDF	modeling, performance, measurement, framework
7	Thorsten Keuler	An aspect-oriented approach for improving architecture design efficiency.	ICSE Companion	2008	DBLP DOI BibTeX RDF	quality-centric views, software architecture, separation of concerns, aspect orientation, model weaving
7	Thorsten Schäfer, Jan Jonas, Mira Mezini	Mining framework usage changes from instantiation code.	ICSE	2008	DBLP DOI BibTeX RDF	framework comprehension, evolution, migration
7	Jin Guo 0002, King Chun Foo, Liliane Barbour, Ying Zou 0001	A business process explorer: recovering and visualizing e-commerce business processes.	ICSE	2008	DBLP DOI BibTeX RDF	process recovery, e-commerce, business process, program comprehension
7	Sunny Huynh, Yuanfang Cai, Yuanyuan Song, Kevin J. Sullivan	Automatic modularity conformance checking.	ICSE	2008	DBLP DOI BibTeX RDF	modularity, conformance checking
7	Marco Antonio Balieiro, Samuel Felix de Sousa Jr., Cleidson R. B. de Souza	Facilitating Social Network Studies of FLOSS using the OSSNetwork Environment. (PDF / PS)	OSS	2008	DBLP DOI BibTeX RDF
7	Stefan Runde, Henrik Dibowski, Alexander Fay, Klaus Kabitzsch	Integrated automated design approach for building automation systems.	ETFA	2008	DBLP DOI BibTeX RDF
7	David Abramson 0001, Colin Enticott, Ilkay Altintas	Nimrod/K: towards massively parallel dynamic grid workflows.	SC	2008	DBLP DOI BibTeX RDF
7	George W. Fitzmaurice, Justin Matejka, Igor Mordatch, Azam Khan, Gordon Kurtenbach	Safe 3D navigation.	SI3D	2008	DBLP DOI BibTeX RDF	desktop 3D environments, 3D navigation, 3D widgets, virtual camera
7	Donny Kurniawan, David Abramson 0001	An IDE framework for grid application development.	GRID	2008	DBLP DOI BibTeX RDF
7	Shvetank Jain, Fareha Shafique, Vladan Djeric, Ashvin Goel	Application-level isolation and recovery with solitude.	EuroSys	2008	DBLP DOI BibTeX RDF	transactional file system, access control, file systems, recovery, taint analysis, copy-on-write
7	Florence Leong, Liangjing Yang, Stephen K. Y. Chang, Aun Neow Poo, Ichiro Sakuma, Chee-Kong Chui	A Precise Robotic Ablation and Division Mechanism for Liver Resection.	MIAR	2008	DBLP DOI BibTeX RDF	RF ablation, liver division, liver, Surgical robot, needle insertion
7	Werner Kurschl, Stefan Mitsch, Johannes Schönböck, Wolfgang Beer	Modeling wireless sensor networks based context-aware emergency coordination systems.	iiWAS	2008	DBLP DOI BibTeX RDF
7	Lucas Dixon, Ross Duncan	Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation.	AISC/MKM/Calculemus	2008	DBLP DOI BibTeX RDF	categorical logic, graphical calculi, quantum computing, graph rewriting, interactive theorem proving
7	Santi Caballé, Fatos Xhafa, Ajith Abraham	Towards an automatic real-time assessment of online discussions in Computer-Supported Collaborative Learning practices.	ICDIM	2008	DBLP DOI BibTeX RDF
7	Christophe Scholliers, Tom Van Cutsem, Wolfgang De Meuter	Ambient transactors.	MPAC	2008	DBLP DOI BibTeX RDF	AmbientTalk, mobile ad hoc networks, actors, software transactional memory
7	Boubacar Kimba, Dit Adamou, Shihong Zou, Shiduan Cheng	Video streaming with network coding and opportunistic relay in wireless mesh networks.	LCN	2008	DBLP DOI BibTeX RDF
7	Sebastian Rönnau, Christian Pauli, Uwe M. Borghoff	Merging changes in XML documents using reliable context fingerprints.	ACM Symposium on Document Engineering	2008	DBLP DOI BibTeX RDF	XML diff, XML patch, office applications, CSCW, fingerprint, version control
7	Parastoo Mohagheghi, Vegard Dehlen	Where Is the Proof? - A Review of Experiences from Applying MDE in Industry.	ECMDA-FA	2008	DBLP DOI BibTeX RDF	quality, productivity, Model-driven engineering, evidence
7	Youssef Hanna, Hridesh Rajan, Wensheng Zhang 0001	Slede: a domain-specific verification framework for sensor network security protocol implementations.	WISEC	2008	DBLP DOI BibTeX RDF	intruder generation, sensor networks, model checking, security protocols
7	Wil M. P. van der Aalst, Marlon Dumas, Florian Gottschalk, Arthur H. M. ter Hofstede, Marcello La Rosa, Jan Mendling	Correctness-Preserving Configuration of Business Process Models.	FASE	2008	DBLP DOI BibTeX RDF	Reference process model, model configuration, Petri net
7	Zorana Bankovic, Slobodan Bojanic, Octavio Nieto-Taladriz, Atta Badii	Unsupervised Genetic Algorithm Deployed for Intrusion Detection.	HAIS	2008	DBLP DOI BibTeX RDF	genetic algorithm, intrusion detection, unsupervised
7	Courtney Powell, Kiyoshi Akama, Toshihiro Wakatsuki	Conceptual Modelling and Program Generation for Dynamic Interactive Systems.	PDCAT	2008	DBLP DOI BibTeX RDF
7	Manish Sethi, Kalapriya Kannan, Narendran Sachindran, Manish Gupta 0007	Rapid Deployment of SOA Solutions via Automated Image Replication and Reconfiguration.	IEEE SCC (1)	2008	DBLP DOI BibTeX RDF	Rapid Deployment, Virtual Machine, Replication, Reconfiguration
7	Jyotishman Pathak, Samik Basu 0001, Vasant G. Honavar	Composing Web Services through Automatic Reformulation of Service Specifications.	IEEE SCC (1)	2008	DBLP DOI BibTeX RDF	Web Services, Composition, Labeled Transition Systems, Reformulation
7	Günther A. Hoffmann, Kishor S. Trivedi, Miroslaw Malek	A Best Practice Guide to Resource Forecasting for Computing Systems.	IEEE Trans. Reliab.	2007	DBLP DOI BibTeX RDF
7	Jane Cleland-Huang, Raffaella Settimi, Xuchang Zou, Peter Solc	Automated classification of non-functional requirements.	Requir. Eng.	2007	DBLP DOI BibTeX RDF	Classification, Non-functional requirements, Quality requirements, Early aspects
7	Song Han 0002, Edward Chan, Reynold Cheng, Kam-yiu Lam	A statistics-based sensor selection scheme for continuous probabilistic queries in sensor networks.	Real Time Syst.	2007	DBLP DOI BibTeX RDF	Continuous probabilistic queries, Sensor networks, Sensor selection, Data uncertainty
7	Marco Autili, Paola Inverardi, Patrizio Pelliccione	Graphical scenarios for specifying temporal properties: an automated approach.	Autom. Softw. Eng.	2007	DBLP DOI BibTeX RDF	Scenario based notation, System requirements specification, Temporal properties specification
7	Mathias Wien, R. Cazoulat, Andreas Graffunder, Andreas Hutter, Peter Amon	Real-Time System for Adaptive Video Streaming Based on SVC.	IEEE Trans. Circuits Syst. Video Technol.	2007	DBLP DOI BibTeX RDF
7	Zhengyong Zhu, He Peng, Chung-Kuan Cheng, Khosro Rouz, Manjit Borah, Ernest S. Kuh	Two-Stage Newton-Raphson Method for Transistor-Level Simulation.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2007	DBLP DOI BibTeX RDF
7	Cristian Soviani, Olivier Tardieu, Stephen A. Edwards	Optimizing Sequential Cycles Through Shannon Decomposition and Retiming.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2007	DBLP DOI BibTeX RDF
7	Jia Zhou, Kendra M. L. Cooper, Hui Ma 0006, I-Ling Yen	On the Customization of Components: A Rule-Based Approach.	IEEE Trans. Knowl. Data Eng.	2007	DBLP DOI BibTeX RDF	representations, performance measures, rule based processing
7	Thomas Pock, Michael Pock, Horst Bischof	Algorithmic Differentiation: Application to Variational Problems in Computer Vision.	IEEE Trans. Pattern Anal. Mach. Intell.	2007	DBLP DOI BibTeX RDF	Evaluating derivatives, algorithmic differentiation, optimization, variational methods, energy functional
7	Jane Huffman Hayes, Alex Dekhtyar, Senthil Karthikeyan Sundaram, Elizabeth Ashlee Holbrook, Sravanthi Vadlamudi, Alain April	REquirements TRacing On target (RETRO): improving software maintenance through traceability recovery.	Innov. Syst. Softw. Eng.	2007	DBLP DOI BibTeX RDF
7	Xin Wang 0003, Yingqun Yu, Georgios B. Giannakis	A Robust High-Throughput Tree Algorithm Using Successive Interference Cancellation.	IEEE Trans. Commun.	2007	DBLP DOI BibTeX RDF
7	Yilong Liu, Soontorn Oraintara	Feature-Oriented Multiple Description Wavelet-Based Image Coding.	IEEE Trans. Image Process.	2007	DBLP DOI BibTeX RDF
7	Arijit Ganguly, Jian Yin 0002, Hidayatullah Shaikh, David M. Chess, Tamar Eilem, Renato J. O. Figueiredo, James E. Hanson, Ajay Mohindra, Giovanni Pacifici	Reducing Complexity of Software Deployment with Delta Configuration.	Integrated Network Management	2007	DBLP DOI BibTeX RDF
7	Yanyan Yang, Charles U. Martel, Shyhtsun Felix Wu	CLID: A general approach to validate security policies in a dynamic network.	Integrated Network Management	2007	DBLP DOI BibTeX RDF
7	Robert Strandh, John Hamer, Gilbert Baumann	Using Stealth Mixins to Achieve Modularity.	ASWEC	2007	DBLP DOI BibTeX RDF
7	Erica Mealy, David A. Carrington, Paul A. Strooper, Peta Wyeth	Improving Usability of Software Refactoring Tools.	ASWEC	2007	DBLP DOI BibTeX RDF
7	Basavaraj Hiremath, Qiang Li, Zhou Wang 0001	Quality-Aware Video.	ICIP (3)	2007	DBLP DOI BibTeX RDF
7	Moyuresh Biswas, Michael R. Frater, John F. Arnold	Multiple Description Video Codingwith 3D-Spiht Employing a New Tree Structure.	ICIP (3)	2007	DBLP DOI BibTeX RDF
7	Anjali Joshi, Mats Per Erik Heimdahl	Behavioral Fault Modeling for Model-based Safety Analysis.	HASE	2007	DBLP DOI BibTeX RDF
7	Giovanni De Micheli	Design Technologies for Networks on Chips.	NOCS	2007	DBLP DOI BibTeX RDF
7	Ian Watson, Chris C. Kirkham, Mikel Luján	A Study of a Transactional Parallel Routing Algorithm.	PACT	2007	DBLP DOI BibTeX RDF
7	Stefan Richter 0004, Andreas Rasche, Andreas Polze	Hardware-Near Programming in the Common Language Infrastructure.	ISORC	2007	DBLP DOI BibTeX RDF
7	Stephen S. Yau, Luping Zhu, Dazhi Huang, Haishan Gong	An Approach to Automated Agent Deployment in Service-Based Systems.	ISORC	2007	DBLP DOI BibTeX RDF
7	Sebastian Benz	Combining test case generation for component and integration testing.	A-MOST	2007	DBLP DOI BibTeX RDF	verification, model based testing, integration testing, automatic test case generation
7	Qijun Zhu, Chun Yuan	A Reinforcement Learning Approach to Automatic Error Recovery.	DSN	2007	DBLP DOI BibTeX RDF
7	Ka Lok Man, Andrea Fedeli, Michele Mercaldi, Menouer Boubekeur, Michel P. Schellekens	SC2SCFL: Automated SystemC to SystemCFL Translation.	SAMOS	2007	DBLP DOI BibTeX RDF
7	Shuo Chen, David Ross, Yi-Min Wang	An analysis of browser domain-isolation bugs and a light-weight transparent defense mechanism.	CCS	2007	DBLP DOI BibTeX RDF	accenting, domain isolation bug, browser, same-origin policy
7	Edgar G. Daylight, Sandeep K. Shukla	Local Causal Reasoning of a Safety-Critical Subway System.	MEMOCODE	2007	DBLP DOI BibTeX RDF
7	Niladri Chatterjee, Shailly Goyal	An Example Based Approach for Parsing Natural Language Sentences.	ICCTA	2007	DBLP DOI BibTeX RDF
7	Marcel Oliveira, Jim Woodcock 0001	Automatic Generation of Verified Concurrent Hardware.	ICFEM	2007	DBLP DOI BibTeX RDF	FPGA, concurrency, refinement, CSP, tool support, program development, Handel-C, automatic compilation
7	Brenna D. Argall, Brett Browning, Manuela M. Veloso	Learning to Select State Machines using Expert Advice on an Autonomous Robot.	ICRA	2007	DBLP DOI BibTeX RDF
7	Hassan Takabi, Morteza Amini, Rasool Jalili	Enhancing Role-Based Access Control Model through Fuzzy Relations.	IAS	2007	DBLP DOI BibTeX RDF
7	Chahé Adourian, Hans Vangheluwe	Consistency between geometric and dynamic views of a mechanical system.	SCSC	2007	DBLP BibTeX RDF	concurrent model evolution, multi-view model consistency, simulation, CAD, triple graph grammars, round-trip engineering
7	Olaf Zimmermann, Jonas Grundler, Stefan Tai, Frank Leymann	Architectural Decisions and Patterns for Transactional Workflows in SOA.	ICSOC	2007	DBLP DOI BibTeX RDF	SOA, workflow, patterns, MDA, transactions, BPEL, BPM, SCA
7	William C. Arnold, Tamar Eilam, Michael H. Kalantar, Alexander V. Konstantinou, Alexander Totok	Pattern Based SOA Deployment.	ICSOC	2007	DBLP DOI BibTeX RDF
7	Ivan Markovic, Alessandro Costa Pereira, David de Francisco Marcos, Henar Muñoz	Querying in Business Process Modeling.	ICSOC Workshops	2007	DBLP DOI BibTeX RDF
7	Chintan Patel, James J. Cimino, Julian Dolby, Achille Fokoue, Aditya Kalyanpur, Aaron Kershenbaum, Li Ma 0002, Edith Schonberg, Kavitha Srinivas	Matching Patient Records to Clinical Trials Using Ontologies.	ISWC/ASWC	2007	DBLP DOI BibTeX RDF
7	Salman Pervez, Ganesh Gopalakrishnan, Robert M. Kirby, Robert Palmer, Rajeev Thakur, William Gropp	Practical Model-Checking Method for Verifying Correctness of MPI Programs.	PVM/MPI	2007	DBLP DOI BibTeX RDF
7	Helmut Neukirchen, Martin Bisanz	Utilising Code Smells to Detect Quality Problems in TTCN-3 Test Suites.	TestCom/FATES	2007	DBLP DOI BibTeX RDF
7	Ranga Srinivasan, Xiaobo Zhou 0001, Eric L. Miller 0001, Ju Lu, Jeff Lichtman, Stephen T. C. Wong	3-D Centerline Extraction of Axons in Microscopic Stacks for the Study of Motor Neuron Behavior in Developing Muscles.	ISBI	2007	DBLP DOI BibTeX RDF