Search results for "error-prone"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
7	J. Andrés Díaz Pace, Marcelo R. Campo	Experiences with planning techniques for assisting software design activities.	Appl. Intell.	2008	DBLP DOI BibTeX RDF
7	Clifford R. Johnson	Automating the DNA computer: solving n-Variable 3-SAT problems.	Nat. Comput.	2008	DBLP DOI BibTeX RDF	SAT Computation, DNA Computation, Molecular Computation, Natural Computing
7	Jiang Yu Zheng, Min Shi 0003	Scanning Depth of Route Panorama Based on Stationary Blur.	Int. J. Comput. Vis.	2008	DBLP DOI BibTeX RDF	Slit scanner, Line sensor, Stationary blur, Large scale 3D space, Geographic information system, Sampling, Vision system, Depth estimation, Motion blur, Route panorama
7	William R. Cook, Jayadev Misra	Structured Interacting Computations.	Software-Intensive Systems and New Computing Paradigms	2008	DBLP DOI BibTeX RDF
7	Steve B. Furber, Steve Temple	Neural Systems Engineering.	Computational Intelligence: A Compendium	2008	DBLP DOI BibTeX RDF
7	Moritz Y. Becker, Sebastian Nanz	The Role of Abduction in Declarative Authorization Policies.	PADL	2008	DBLP DOI BibTeX RDF	authorization language, access control, Datalog, abduction
7	James H. Hill, Douglas C. Schmidt, Adam A. Porter, John M. Slaby	CiCUTS: Combining System Execution Modeling Tools with Continuous Integration Environments.	ECBS	2008	DBLP DOI BibTeX RDF	serialized phasing, system execution modeling, integration testing, continuous integration
7	Jaime S. Cardoso 0001, Artur Capela, Ana Rebelo, Carlos Guedes	A connected path approach for staff detection on a music score.	ICIP	2008	DBLP DOI BibTeX RDF
7	Fangwen Fu, Mihaela van der Schaar	A new theoretic framework for cross-layer optimization.	ICIP	2008	DBLP DOI BibTeX RDF
7	Chunhua Yang 0002, Jiancheng Wan	An Approach to Separating Security Concerns in E-Commerce Systems at the Architecture Level.	ISECS	2008	DBLP DOI BibTeX RDF	Security, E-commerce, Separation of concerns, Aspect oriented software development
7	André Luckow, Bettina Schnor	Adaptive Checkpoint Replication for Supporting the Fault Tolerance of Applications in the Grid.	NCA	2008	DBLP DOI BibTeX RDF	Grid Computing, Replication, Checkpointing
7	Robert Müllner, Carsten F. Ball, Kolio Ivanov, Hubert Winkler, Kurt Kremnitzer	Contrasting single-point and multi-point half-rate allocation strategies for AMR-WB in high-capacity cellular networks.	PIMRC	2008	DBLP DOI BibTeX RDF
7	Nathalie Moreno, Santiago Meliá, Nora Koch, Antonio Vallecillo	Addressing New Concerns in Model-Driven Web Engineering Approaches.	WISE	2008	DBLP DOI BibTeX RDF	Model Transformations, Metamodeling, Web Engineering, Separation of Concerns, Model-Driven Software Development
7	Haihao Shen, Sai Zhang 0001, Jianjun Zhao 0001, Jianhong Fang, Shiyuan Yao	XFindBugs: eXtended FindBugs for AspectJ.	PASTE	2008	DBLP DOI BibTeX RDF
7	Leandros Tassiulas	Multihop wireless networks: capacity limits and how to approach them.	MobiHoc	2008	DBLP DOI BibTeX RDF	network capacity, mobile wireless networks, wireless architectures
7	Dani Barkah, Andreas Ermedahl, Jan Gustafsson, Björn Lisper, Christer Sandberg	Evaluation of Automatic Flow Analysis for WCET Calculation on Industrial Real-Time System Code.	ECRTS	2008	DBLP DOI BibTeX RDF
7	Hendrikus J. S. Basten, Paul Klint	DeFacto: Language-Parametric Fact Extraction from Source Code.	SLE	2008	DBLP DOI BibTeX RDF
7	Zachary Tatlock, Chris Tucker, David Shuffelton, Ranjit Jhala, Sorin Lerner	Deep typechecking and refactoring.	OOPSLA	2008	DBLP DOI BibTeX RDF	JPA query analysis, cross language refactoring, cross language typechecking
7	Stephen Nelson, Stephanie Balzer, Gavin M. Bierman, Erik Meijer 0001, James Noble 0001, David J. Pearce 0001, Jiri Soukup, Frank Tip	Relationships and associations in object-oriented languages.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	roles, associations, relationships
7	Alexander Felfernig, Erich Teppan, Gerhard Friedrich, Klaus Isak	Intelligent debugging and repair of utility constraint sets in knowledge-based recommender applications.	IUI	2008	DBLP DOI BibTeX RDF	multi-attribute utility theory (MAUT), knowledge acquisition, knowledge-based recommenders
7	Paolo Salaris, Felipe A. W. Belo, Daniele Fontanelli, Luca Greco 0003, Antonio Bicchi	Optimal paths in a constrained image plane for purely image-based parking.	IROS	2008	DBLP DOI BibTeX RDF
7	Jing-Rong Hsieh, Tsern-Huei Lee	An Energy Saving Scheme with Error Recovery for Multi-Polling in Wireless LANs.	VTC Spring	2008	DBLP DOI BibTeX RDF
7	Marcílio Mendonça, Thiago T. Bartolomei, Donald D. Cowan	Decision-making coordination in collaborative product configuration.	SAC	2008	DBLP DOI BibTeX RDF	collaborative product configuration, work coordination, workflows, software product lines, feature models
7	Chunxiang Xu, Hanpin Wang, Wanling Qu	Modeling and verifying BPEL using synchronized net.	SAC	2008	DBLP DOI BibTeX RDF	synchronized net, modeling, verification, BPEL, web services composition
7	Damien Leroy, Olivier Bonaventure	A Secure Mechanism for Address Block Allocation and Distribution.	Networking	2008	DBLP DOI BibTeX RDF
7	Sylvia Rueda, Jayaram K. Udupa, Li Bai	Landmark selection for shape model construction via equalization of variance.	ISBI	2008	DBLP DOI BibTeX RDF
7	Ross McIlroy, Peter Dickman, Joe Sventek	Efficient dynamic heap allocation of scratch-pad memory.	ISMM	2008	DBLP DOI BibTeX RDF	on-core memory, concurrency, memory management
7	Nicola Bombieri, Nicola Deganello, Franco Fummi	Integrating RTL IPs into TLM Designs Through Automatic Transactor Generation.	DATE	2008	DBLP DOI BibTeX RDF
7	Jungmin Shin, Joachim Hammer, Herman Lam	RDF-Based Approach to Data Transform Composition.	ACIS-ICIS	2008	DBLP DOI BibTeX RDF
7	Narendran Sachindran, Manish Gupta 0007	Real-time problem localization for synchronous transactions in HTTP-based composite enterprise applications.	NOMS	2008	DBLP DOI BibTeX RDF
7	Rajeev Gupta, K. Hima Prasad, Mukesh K. Mohania	Information integration techniques to automate incident management.	NOMS	2008	DBLP DOI BibTeX RDF
7	Dominik Domis, Mario Trapp	Integrating Safety Analyses and Component-Based Design.	SAFECOMP	2008	DBLP DOI BibTeX RDF
7	Panagiotis Papadimitriou 0002, Ali Dasdan, Hector Garcia-Molina	Web graph similarity for anomaly detection (poster).	WWW	2008	DBLP DOI BibTeX RDF	graph similarity, web graph lsh, anomaly detection
7	Helmut Horacek	Towards Designing Operationalizable Models of Man-Machine Interaction Based on Concepts from Human Dialog Systems.	NLDB	2008	DBLP DOI BibTeX RDF
7	Thorsten Keuler, Dirk Muthig, Takayuki Uchida	Efficient Quality Impact Analyses for Iterative Architecture Construction.	WICSA	2008	DBLP DOI BibTeX RDF	Quality-centric Views, Software Architecture, Separation of Concerns, Aspect Orientation
7	Jesper Andersson, Morgan Ericsson, Welf Löwe	Automatic Rule Derivation for Adaptive Architectures.	WICSA	2008	DBLP DOI BibTeX RDF
7	Dongwon Kang, In-Gwon Song, Seunghun Park, Doo-Hwan Bae, Hoon-Kyu Kim, Nobok Lee	A Case Retrieval Method for Knowledge-Based Software Process Tailoring Using Structural Similarity.	APSEC	2008	DBLP DOI BibTeX RDF
7	Andrés Vignaga, Daniel Perovich, M. Cecilia Bastarrica	Extracting Object Interactions Out of Software Contracts Using Model Transformations.	ICMT@TOOLS	2008	DBLP DOI BibTeX RDF
7	Radu Mateescu 0001, Damien Thivolle	A Model Checking Language for Concurrent Value-Passing Systems.	FM	2008	DBLP DOI BibTeX RDF
7	Honggang Wang 0001, Dongming Peng, Wei Wang 0015, Hamid Sharif, Hsiao-Hwa Chen	Energy-Aware Adaptive Watermarking for Real-Time Image Delivery in Wireless Sensor Networks.	ICC	2008	DBLP DOI BibTeX RDF
7	Joo-Young Baek, Young-Joo Suh	The Compensation Model for Utilizing a Frame-Based Scheduling Algorithm in High-speed Wireless Networks.	ICC	2008	DBLP DOI BibTeX RDF
7	Peeter Laud	On the computational soundness of cryptographically masked flows.	POPL	2008	DBLP DOI BibTeX RDF	cryptographically masked flows, encryption, computational soundness, secure information flow
7	Mika Siikarla, Tarja Systä	Decision Reuse in an Interactive Model Transformation.	CSMR	2008	DBLP DOI BibTeX RDF
7	Hoda Roodaki, Hamid R. Rabiee, Mohammed Ghanbari 0001	Performance enhancement of H.264 codec by layered coding.	ICASSP	2008	DBLP DOI BibTeX RDF
7	Cerstin Mahlow, Michael Piotrowski	Linguistic Support for Revising and Editing.	CICLing	2008	DBLP DOI BibTeX RDF
7	Ritu Arora, Yu Sun 0002, Zekai Demirezen, Jeff Gray 0001	Profiler instrumentation using metaprogramming techniques.	ACM Southeast Regional Conference	2008	DBLP DOI BibTeX RDF
7	Gerardo de Geest, Sander Vermolen, Arie van Deursen, Eelco Visser	Generating Version Convertors for Domain-Specific Languages.	WCRE	2008	DBLP DOI BibTeX RDF
7	Baoqiang Yan, Philip J. Rhodes	I/O friendly data parallelization for spatial computation.	Mardi Gras Conference	2008	DBLP DOI BibTeX RDF
7	Daniel Ratiu, Jan Jürjens	Evaluating the Reference and Representation of Domain Concepts in APIs.	ICPC	2008	DBLP DOI BibTeX RDF
7	Cui-ru Wang, Shuang-xi Liu	Study on Fuzzy Theory Based Web Access Control Model.	ISIP	2008	DBLP DOI BibTeX RDF	Access Control, Web, RBAC, Fuzzy Theory
7	Miguel Torres Ruiz, Rolando Quintero, Serguei Levachkine, Giovanni Guzmán, Marco Moreno 0001	Towards a Methodology to Conceptualize the Geographic Domain.	MICAI	2008	DBLP DOI BibTeX RDF
7	Ivan Markovic	Advanced Querying and Reasoning on Business Process Models.	BIS	2008	DBLP DOI BibTeX RDF
7	Sudha Ram, Kunpeng Zhang, Wei Wei	Linking Biological Databases Semantically for Knowledge Discovery.	ER Workshops	2008	DBLP DOI BibTeX RDF	Ontology, Semantics, Conceptual modeling
7	Dan Travison, Geoff Staneff	Test Instrumentation and Pattern Matching for Automatic Failure Identification.	ICST	2008	DBLP DOI BibTeX RDF	Test Case Instrumentation, Failure Analysis
7	Adam Poswolsky, Carsten Schürmann 0001	Practical Programming with Higher-Order Encodings and Dependent Types.	ESOP	2008	DBLP DOI BibTeX RDF
7	Karin Becker, Andre Lopes, Dejan S. Milojicic, Jim Pruyne, Sharad Singhal	Automatically Determining Compatibility of Evolving Services.	ICWS	2008	DBLP DOI BibTeX RDF
7	Chao Cai, Zongyan Qiu	An Approach to Check Choreography with Channel Passing in WS-CDL.	ICWS	2008	DBLP DOI BibTeX RDF
7	Hai Liu 0008, Qing Li 0001, Naijie Gu, An Liu 0002	Exploiting Semantics for Analyzing and Verifying Business Rules in Web Services Composition and Contracting.	ICWS	2008	DBLP DOI BibTeX RDF
7	Luca Benvenuti, Alberto Ferrari, Emanuele Mazzi, Alberto L. Sangiovanni-Vincentelli	Composing hybrid systems.	CDC	2008	DBLP DOI BibTeX RDF
7	Kaustubh Sinkar, Amit Jagirdar, Thanasis Korakis, Hang Liu 0003, Saurabh Mathur 0001, Shivendra S. Panwar	Cooperative Recovery in Heterogeneous Mobile Networks.	SECON	2008	DBLP DOI BibTeX RDF
7	Edgar Marques, Luís Veiga, Paulo Ferreira 0001	Transparent Mobile Middleware Integration for Java and .NET Development Environments.	Euro-Par	2008	DBLP DOI BibTeX RDF	distributed mobile applications, incremental object replication, transparent middleware integration, fault-tolerance, aspect-oriented programming, program transformation, integrated development environment
7	Shaun K. Kane, Jeffrey P. Bigham, Jacob O. Wobbrock	Slide rule: making mobile touch screens accessible to blind people using multi-touch interaction techniques.	ASSETS	2008	DBLP DOI BibTeX RDF	multi-touch interaction techniques, mobile devices, accessibility, blindness, touch screens, speech output
7	François Degrave	Development of an Automatic Testing Environment for Mercury.	ICLP	2008	DBLP DOI BibTeX RDF
7	Luis Palomino Ramírez, Miguel L. Bote-Lorenzo, Juan I. Asensio-Pérez, Yannis A. Dimitriadis	LeadFlow4LD: Learning and Data Flow Composition-Based Solution for Learning Design in CSCL.	CRIWG	2008	DBLP DOI BibTeX RDF	Workflow, Data Flow, CSCL, Learning Design, IMS-LD
7	Waseem Akhtar, Jacek Kopecký, Thomas Krennwallner, Axel Polleres	XSPARQL: Traveling between the XML and RDF Worlds - and Avoiding the XSLT Pilgrimage.	ESWC	2008	DBLP DOI BibTeX RDF
7	George Eadon, Eugene Inseok Chong, Shrikanth Shankar, Ananth Raghavan, Jagannathan Srinivasan, Souripriya Das	Supporting table partitioning by reference in oracle.	SIGMOD Conference	2008	DBLP DOI BibTeX RDF	information lifecycle management, partition by reference, partition maintenance, partition pruning, partition-wise join, partitioning, vertical partitioning
7	Yu-Chih Liu, Kai-Ying Lin, Yong-Sheng Chen	Bird's-Eye View Vision System for Vehicle Surrounding Monitoring.	RobVis	2008	DBLP DOI BibTeX RDF
7	Benoît Combemale, Laurent Broto, Alain Tchana, Daniel Hagimont	Metamodeling Autonomic System Management Policies - Ongoing Works.	COMPSAC	2008	DBLP DOI BibTeX RDF	Management policies, Autonomic computing, metamodeling, DSL
7	Guisheng Fan, Huiqun Yu, Liqiong Chen, Dongmei Liu	Analyzing BPEL Compositionality Based on Petri Nets.	COMPSAC	2008	DBLP DOI BibTeX RDF	Verification, Petri Net, BPEL, Soundness, compositionality
7	Alena Hallerbach, Thomas Bauer 0001, Manfred Reichert	Issues in Modeling Process Variants with Provop.	Business Process Management Workshops	2008	DBLP DOI BibTeX RDF	Process variant management, process reference models, process design methods and methodologies, process configuration
7	Reid Kerr, Wolfgang Stürzlinger	Context-sensitive cut, copy, and paste.	C3S2E	2008	DBLP DOI BibTeX RDF	code development, context sensitive code, development environment, cut, copy, programming errors, paste
7	Barbara Weber, Manfred Reichert	Refactoring Process Models in Large Process Repositories.	CAiSE	2008	DBLP DOI BibTeX RDF
7	Timothy Richards, Edward K. Walters II, J. Eliot B. Moss, Trek S. Palmer, Charles C. Weems	Towards universal code generator generation.	IPDPS	2008	DBLP DOI BibTeX RDF
7	Christos Kotselidis, Mohammad Ansari, Kim Jarvis, Mikel Luján, Chris C. Kirkham, Ian Watson	Investigating software Transactional Memory on clusters.	IPDPS	2008	DBLP DOI BibTeX RDF
7	Tao Xie 0001, Mithun Acharya, Suresh Thummalapenta, Kunal Taneja	Improving software reliability and productivity via mining program source code.	IPDPS	2008	DBLP DOI BibTeX RDF
7	André Luckow, Bettina Schnor	Service replication in Grids: Ensuring consistency in a dynamic, failure-prone environment.	IPDPS	2008	DBLP DOI BibTeX RDF
7	Kathryn E. Gray	Safe Cross-Language Inheritance.	ECOOP	2008	DBLP DOI BibTeX RDF
7	Jaime Quinonez, Matthew S. Tschantz, Michael D. Ernst	Inference of Reference Immutability.	ECOOP	2008	DBLP DOI BibTeX RDF
7	Mikkel Baun Kjærgaard, Carsten Valdemar Munk	Hyperbolic Location Fingerprinting: A Calibration-Free Solution for Handling Differences in Signal Strength (concise contribution).	PerCom	2008	DBLP DOI BibTeX RDF	Location Fingerprinting, Signal Strength Differences, IEEE 802.11, Signal Strength
7	Lisa M. Brown	Color Retrieval for Video Surveillance.	AVSS	2008	DBLP DOI BibTeX RDF
7	Ilie Savga, Michael Rudolf 0001, Sebastian Goetz, Uwe Aßmann	Practical refactoring-based framework upgrade.	GPCE	2008	DBLP DOI BibTeX RDF	adaptation, frameworks, refactoring, maintenance
7	Ewen Denney, Bernd Fischer 0002	Generating customized verifiers for automatically generated code.	GPCE	2008	DBLP DOI BibTeX RDF	logical annotations, program verification, automated theorem proving, hoare logic, software certification, automated code generation
7	Balaji Raghavan, Jarmo Harju, Bilhanan Silverajan	Service Discovery Framework for MANETs Using Cross-Layered Design.	WWIC	2008	DBLP DOI BibTeX RDF	broadcast mechanisms, Ad hoc networks, framework, service discovery, cross-layered design, link layer
7	Alley Stoughton	A functional model-view-controller software architecture for command-oriented programs.	ICFP-WGP	2008	DBLP DOI BibTeX RDF	exene, user-interface, ml, model-view-controller, concurrent ml
7	Ruy Ley-Wild, Matthew Fluet, Umut A. Acar	Compiling self-adjusting programs with continuations.	ICFP	2008	DBLP DOI BibTeX RDF	memoization, continuation-passing style, self-adjusting computation
7	Azzedine Boukerche, Yan Du, Jing Feng 0001, Richard Werner Nelem Pazzi	A reliable synchronous transport protocol for wireless image sensor networks.	ISCC	2008	DBLP DOI BibTeX RDF
7	Merlinda Drini, Tarek N. Saadawi	Modeling wireless channel for ad-hoc network routing protocol.	ISCC	2008	DBLP DOI BibTeX RDF
7	M. Khalid Khan, Mats F. Nilsson, Bengt R. Danielsson, Ewert Bengtsson	Fully Automatic Heart Beat Rate Determination in Digital Video Recordings of Rat Embryos.	MDA	2008	DBLP DOI BibTeX RDF	Heart Detection, Embryo, Directional Analysis, Energy
7	Zhifeng Lai, Shing-Chi Cheung, Wing Kwong Chan	Inter-context control-flow and data-flow test adequacy criteria for nesC applications.	SIGSOFT FSE	2008	DBLP DOI BibTeX RDF	software testing, test adequacy criteria, networked embedded system
7	Ali Kanso, Maria Toeroe, Ferhat Khendek, Abdelwahab Hamou-Lhadj	Automatic Generation of AMF Compliant Configurations.	ISAS	2008	DBLP DOI BibTeX RDF	AMF, AMF Information Model, Entity Type File, Configurations Generation, AIS
7	Jan Meskens, Jo Vermeulen, Kris Luyten, Karin Coninx	Gummy for multi-platform user interface designs: shape me, multiply me, fix me, use me.	AVI	2008	DBLP DOI BibTeX RDF	multi-platform design, design tools, GUI builder, UIML
7	Hoda Dehmeshki, Wolfgang Stürzlinger	Intelligent object group selection.	CHI Extended Abstracts	2008	DBLP DOI BibTeX RDF	good continuity, perceptual object grouping, proximity
7	Christopher Scaffidi, Brad A. Myers, Mary Shaw	Toped: enabling end-user programmers to validate data.	CHI Extended Abstracts	2008	DBLP DOI BibTeX RDF	web applications, end-user programming, spreadsheets
7	Erum Tanvir, Jonathan Cullen, Pourang Irani, Andy Cockburn	AAMU: adaptive activation area menus for improving selection in cascading pull-down menus.	CHI	2008	DBLP DOI BibTeX RDF	aamu, cascading pull-down menus, force field menus, force-aamu, selection, steering, menu navigation
7	Miguel Torres Ruiz, Serguei Levachkine, Rolando Quintero, Giovanni Guzmán, Marco Moreno 0001	Geospatial information integration based on the conceptualization of geographic domain.	GIS	2008	DBLP DOI BibTeX RDF	axiomatic relationships, geo-ontologies, iGIS, conceptualization
7	Ajay Mahimkar, Jennifer Yates, Yin Zhang 0001, Aman Shaikh, Jia Wang 0001, Zihui Ge, Cheng Tien Ee	Troubleshooting chronic conditions in large IP networks.	CoNEXT	2008	DBLP DOI BibTeX RDF	chronic condition, network troubleshooting, correlation
7	Johann Mitlöhner	Semantic web and natural language in online discussion forums.	ICEC	2008	DBLP DOI BibTeX RDF	semantic web, natural language processing, RDF, semantic web technologies
7	Timothy Bourke, Arcot Sowmya	Automatically transforming and relating Uppaal models of embedded systems.	EMSOFT	2008	DBLP DOI BibTeX RDF	timed trace inclusion, model transformation, Uppaal
7	Alessandro Cavalcante Gurgel, Cristiano Gurgel de Castro, Marcel Vinícius Medeiros Oliveira	Tool Support for the CircusRefinement Calculus.	ABZ	2008	DBLP DOI BibTeX RDF
7	Tao Xu 0002, Krishnendu Chakrabarty, Vamsee K. Pamula	Design and optimization of a digital microfluidic biochip for protein crystallization.	ICCAD	2008	DBLP DOI BibTeX RDF