Search results for "Exceptions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
8	Miryung Kim, David Notkin	Discovering and representing systematic code changes.	ICSE	2009	DBLP DOI BibTeX RDF
8	Gordon D. Plotkin	Adequacy for Infinitary Algebraic Effects (Abstract).	CALCO	2009	DBLP DOI BibTeX RDF
8	Martin Nordio, Cristiano Calcagno, Peter Müller 0001, Bertrand Meyer 0001	A Sound and Complete Program Logic for Eiffel.	TOOLS (47)	2009	DBLP DOI BibTeX RDF	operational semantics, Software verification, Eiffel, program proofs
8	Jörg Endrullis, Herman Geuvers, Hans Zantema	Degrees of Undecidability in Term Rewriting.	CSL	2009	DBLP DOI BibTeX RDF
8	Yale N. Patt	Multi-core demands multi-interfaces.	PPoPP	2009	DBLP DOI BibTeX RDF	performance, design, multicore, software interface
8	Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato	Reasoning about Typicality with Low Complexity Description Logics: The Logic EL+^T.	AI*IA	2009	DBLP DOI BibTeX RDF
8	Young-Woo Kwon 0001, Eli Tilevich, Taweesup Apiwattanapong	DR-OSGi: Hardening Distributed Components with Network Volatility Resiliency.	Middleware	2009	DBLP DOI BibTeX RDF	Distributed Component Architectures, Network Volatility, Aspect Oriented Programming, OSGi, R-OSGi
8	Markus Kalb, Peter Dadam	Unterstützung von Periodizität in Informationssystemen - Herausforderungen und Lösungsansätze.	Inform. Forsch. Entwickl.	2008	DBLP DOI BibTeX RDF	Temporal Granularities, Periodicity, Temporal Queries, Temporal Data Modells
8	Chris Hinds	The case against a positivist philosophy of requirements engineering.	Requir. Eng.	2008	DBLP DOI BibTeX RDF	Positivism, Scientism, Ethnography, Ethics, Realism, Philosophy
8	Jeroen Schillewaert	A characterization of quadrics by intersection numbers.	Des. Codes Cryptogr.	2008	DBLP DOI BibTeX RDF	AMS Classifications 51E20
8	Jianxing Yin, Jie Yan, Chengmin Wang	Generalized balanced tournament designs and related codes.	Des. Codes Cryptogr.	2008	DBLP DOI BibTeX RDF	AMS Classifications 05B05, 94B25
8	Sudipto Guha, Piotr Indyk, Andrew McGregor 0001	Sketching information divergences.	Mach. Learn.	2008	DBLP DOI BibTeX RDF	Information divergences, Data stream model, Approximation algorithms, Sketches, Communication complexity
8	Martin David Adams, Tang Fan, Wijerupage Sardha Wijesoma, Chhay Sok	Convergent Smoothing and Segmentation of Noisy Range Data in Multiscale Space.	IEEE Trans. Robotics	2008	DBLP DOI BibTeX RDF
8	Mahdi Fazeli, Reza Farivar 0003, Seyed Ghassem Miremadi	Error Detection Enhancement in PowerPC Architecture-based Embedded Processors.	J. Electron. Test.	2008	DBLP DOI BibTeX RDF	Physical fault injection, Power supply disturbances, Concurrent error detection, Control flow checking
8	Russell John Higgs	Nice Error Bases and Sylow Subgroups.	IEEE Trans. Inf. Theory	2008	DBLP DOI BibTeX RDF
8	Fabio Fassetti, Gianluigi Greco, Giorgio Terracina	Mining Loosely Structured Motifs from Biological Data.	IEEE Trans. Knowl. Data Eng.	2008	DBLP DOI BibTeX RDF
8	Panagiotis Manolios, Sudarshan K. Srinivasan	Automatic verification of safety and liveness for pipelined machines using WEB refinement.	ACM Trans. Design Autom. Electr. Syst.	2008	DBLP DOI BibTeX RDF	flushing, pipelined machines, verification, refinement, SAT, bisimulation, commitment, liveness, Refinement maps
8	Kamalesh Kumar Sharma, Shiv Dutt Joshi	Uncertainty Principle for Real Signals in the Linear Canonical Transform Domains.	IEEE Trans. Signal Process.	2008	DBLP DOI BibTeX RDF
8	Guido Boella, Leendert W. N. van der Torre	Institutions with a hierarchy of authorities in distributed dynamic environments.	Artif. Intell. Law	2008	DBLP DOI BibTeX RDF	Institutions, Permissions, Normative systems
8	Peter Jackson, Yanbin Chen, Ramin Farhangi, Xiang Li, David A. Pilo Mansion, Evan Markel, Ryan Morris, Len Podgurny, Al Randall, Paul Hofmann	IT Strategies for Increased Rail Employee Satisfaction.	IEEE Intell. Syst.	2008	DBLP DOI BibTeX RDF
8	Westley Weimer, George C. Necula	Exceptional situations and program reliability.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	compensating transactions, linear sagas, linear types, resource management, Error handling
8	Suad Alagic, Mark Royer	Genericity in Java: persistent and database systems implications.	VLDB J.	2008	DBLP DOI BibTeX RDF	Java, Reflection, Transactions, Object-oriented databases, Type systems, Virtual platforms, Object persistence
8	Kazuyoshi Yoshii, Masataka Goto, Kazuhiro Komatani, Tetsuya Ogata, Hiroshi G. Okuno	An Efficient Hybrid Music Recommender System Using an Incrementally Trainable Probabilistic Generative Model.	IEEE Trans. Speech Audio Process.	2008	DBLP DOI BibTeX RDF
8	Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer	Model-Based Testing of Thin-Client Web Applications and Navigation Input.	PADL	2008	DBLP DOI BibTeX RDF
8	Bruno Pagano, Olivier Andrieu, Benjamin Canou, Emmanuel Chailloux, Jean-Louis Colaço, Thomas Moniot, Philippe Wang	Certified Development Tools Implementation in Objective Caml.	PADL	2008	DBLP DOI BibTeX RDF	Tests measurement, Civil avionics, Functional programming, Code coverage, Objective Caml
8	Jan Schat	Calculating the fault coverage for dual neighboring faults using single stuck-at fault patterns.	DDECS	2008	DBLP DOI BibTeX RDF
8	Jaejin Lee, Junghyun Kim, Choonki Jang, Seungkyun Kim, Bernhard Egger 0002, Kwangsub Kim, Sangyong Han	FaCSim: a fast and cycle-accurate architecture simulator for embedded systems.	LCTES	2008	DBLP DOI BibTeX RDF	virtual prototyping, architecture simulator, full-system simulation, simulator parallelization, cycle-accurate simulation
8	Liviu Iftode, Stephen Smaldone, Mario Gerla, James A. Misener	Active Highways (Position Paper).	PIMRC	2008	DBLP DOI BibTeX RDF
8	Christian Janiesch, Kathrin Fleischmann, Alexander Dreiling	Extending Services Delivery with Lightweight Composition.	WISE Workshops	2008	DBLP DOI BibTeX RDF	lightweight composition, Service delivery platform, enterprise mashup, internet of services, service ecosystems
8	Khaled Gaaloul, Andreas Schaad, Ulrich Flegel, François Charoy	A Secure Task Delegation Model for Workflows.	SECURWARE	2008	DBLP DOI BibTeX RDF
8	Leman Akoglu, Mary McGlohon, Christos Faloutsos	RTM: Laws and a Recursive Generator for Weighted Time-Evolving Graphs.	ICDM	2008	DBLP DOI BibTeX RDF
8	Ulrich W. Kulisch	Complete Interval Arithmetic and Its Implementation on the Computer.	Numerical Validation in Current Hardware Architectures	2008	DBLP DOI BibTeX RDF	arithmetic standards, computer arithmetic, interval arithmetic, floating-point arithmetic
8	Branimir Lambov	Interval Arithmetic Using SSE-2.	Reliable Implementation of Real Number Algorithms	2008	DBLP DOI BibTeX RDF
8	Aravind Srinivasan	Improved algorithmic versions of the Lovász Local Lemma.	SODA	2008	DBLP BibTeX RDF
8	Alberto Portilla, Tan Hanh, Javier-Alfonso Espinosa-Oviedo	Building reliable mobile services based applications.	ICDE Workshops	2008	DBLP DOI BibTeX RDF
8	Toshio Suganuma, Toshiaki Yasue, Tamiya Onodera, Toshio Nakatani	Performance pitfalls in large-scale java applications translated from COBOL.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	COBOL to java translations, legacy migration, object allocation
8	Juan A. Garay	Partially Connected Networks: Information Theoretically Secure Protocols and Open Problems (Invited Talk).	ICITS	2008	DBLP DOI BibTeX RDF
8	David A. Cock, Gerwin Klein, Thomas Sewell	Secure Microkernels, State Monads and Scalable Refinement.	TPHOLs	2008	DBLP DOI BibTeX RDF
8	Isidro Gonzalez, Marco Galluzzi, Alexander V. Veidenbaum, Marco Antonio Ramírez, Adrián Cristal, Mateo Valero	A distributed processor state management architecture for large-window processors.	MICRO	2008	DBLP DOI BibTeX RDF
8	Kurt Stenzel, Holger Grandy, Wolfgang Reif	Verification of Java Programs with Generics.	AMAST	2008	DBLP DOI BibTeX RDF
8	Brian E. Aydemir, Arthur Charguéraud, Benjamin C. Pierce, Randy Pollack, Stephanie Weirich	Engineering formal metatheory.	POPL	2008	DBLP DOI BibTeX RDF	locally nameless, binding, coq
8	Troy Lee, Rajat Mittal 0001	Product Theorems Via Semidefinite Programming.	ICALP (1)	2008	DBLP DOI BibTeX RDF
8	Shaogang Wang, Dan Wu, Zhengbin Pang, Xiaodong Yang	Software Assisted Transact Cache to Support Efficient Unbounded Transactional Memory.	HPCC	2008	DBLP DOI BibTeX RDF
8	Allan Raundahl Gregersen, Bo Nørregaard Jørgensen	Module Reload through Dynamic Update - The Case of NetBeans.	CSMR	2008	DBLP DOI BibTeX RDF
8	Igor Walukiewicz	Finding Your Way in a Forest: On Different Types of Trees and Their Properties.	FoSSaCS	2008	DBLP DOI BibTeX RDF
8	Nicola Capuano, Matteo Gaeta, Sergio Miranda, Francesco Orciuoli, Pierluigi Ritrovato	LIA: An Intelligent Advisor for e-Learning.	WSKS (1)	2008	DBLP DOI BibTeX RDF	e-Learning, Knowledge Representation, Planning, ITS
8	Andres Medina, Stephan Bohacek	The impact of delayed topology information in proactive routing protocols for MANETS.	PE-WASUN	2008	DBLP DOI BibTeX RDF	proactive routing algorithms, routing loops, manets
8	Alberto Portilla, Tan Hanh, Javier-Alfonso Espinosa-Oviedo, Christine Collet, Genoveva Vargas-Solar	Construire des applications fiables à base de services mobiles.	UbiMob	2008	DBLP DOI BibTeX RDF	application à base de services, comportement transactionnel, coordination de services, propriétés non fonctionnelles
8	Lodewijk Bonebakker	Comparison of the SPEC CPU Benchmarks with 499 Other Workloads Using Hardware Counters.	SIPEW	2008	DBLP DOI BibTeX RDF	SPEC CPU2000, SPEC CPU2006, benchmark, workloads, workload characterization, comparison
8	Kazuyo Narita, Hiroyuki Kitagawa	Outlier Detection for Transaction Databases Using Association Rules.	WAIM	2008	DBLP DOI BibTeX RDF
8	Francisco Javier Díez 0002, Iñaki Maurtua	Dynamic Exception Handling Based on Web Services and OPC XML-DA.	ICWS	2008	DBLP DOI BibTeX RDF
8	Katsunori Oyama, Hojun Jaygarl, Jinchun Xia, Carl K. Chang, Atsushi Takeuchi, Hiroshi Fujimoto	A Human-Machine Dimensional Inference Ontology that Weaves Human Intentions and Requirements of Context Awareness Systems.	COMPSAC	2008	DBLP DOI BibTeX RDF	Ontology, Context Awareness, Human Intention, BDI Logic
8	Liliana Ardissono, Stefano Bocconi, Luca Console, Roberto Furnari, Anna Goy, Giovanna Petrone, Claudia Picardi, Marino Segnan, Daniele Theseider Dupré	Enhancing Web Service Composition by Means of Diagnosis.	Business Process Management Workshops	2008	DBLP DOI BibTeX RDF
8	Haizhi Ye, Huiqiang Wang, Ying Liang	An Optimization Approach to Restart Tree Based on Mean Failure Frequencies.	WKDD	2008	DBLP DOI BibTeX RDF
8	Aleksandar Nanevski, Greg Morrisett, Avraham Shinnar, Paul Govereau, Lars Birkedal	Ynot: dependent types for imperative programs.	ICFP	2008	DBLP DOI BibTeX RDF	type theory, monads, Hoare logic, separation logic
8	Christophe Dony, Chouki Tibermacine, Christelle Urtado, Sylvain Vauttier	Specification of an exception handling system for a replicated agent environment.	Workshop on Exception Handling	2008	DBLP DOI BibTeX RDF
8	Christian Hammer 0001, Rüdiger Schaade, Gregor Snelting	Static path conditions for Java.	PLAS	2008	DBLP DOI BibTeX RDF	java, program slicing, information flow control, dynamic dispatch, path condition
8	Daniel Skarin, Johan Karlsson	Software Implemented Detection and Recovery of Soft Errors in a Brake-by-Wire System.	EDCC	2008	DBLP DOI BibTeX RDF
8	Robertas Damasevicius	Structural Analysis of Promoter Sequences Using Grammar Inference and Support Vector Machine.	KES (1)	2008	DBLP DOI BibTeX RDF
8	Niels Raabjerg Mathiasen, Susanne Bødker	Threats or threads: from usable security to secure experience?	NordiCHI	2008	DBLP DOI BibTeX RDF	user story collection, human-computer interaction, usability, user experience, experience, usable security, user testing
8	Mingzhong Wang, Kotagiri Ramamohanarao, Jinjun Chen	Robust Scheduling and Runtime Adaptation of Multi-agent Plan Execution.	IAT	2008	DBLP DOI BibTeX RDF
8	Eitan Farchi	Pitfalls in teaching development and testing of concurrent programs and how to overcome them.	PADTAD	2008	DBLP DOI BibTeX RDF
8	Davide Bresolin, Angelo Montanari, Pietro Sala	An optimal tableau for Right Propositional Neighborhood Logic over Trees.	TIME	2008	DBLP DOI BibTeX RDF
8	Romans Kasperovics, Michael H. Böhlen, Johann Gamper	Representing Public Transport Schedules as Repeating Trips.	TIME	2008	DBLP DOI BibTeX RDF
8	Bruno Crémilleux, Arnaud Soulet	Discovering Knowledge from Local Patterns with Global Constraints.	ICCSA (2)	2008	DBLP DOI BibTeX RDF	local patterns, constraint-based paradigm, top-k patterns, data mining, global constraints
8	Jindian Su, Shanshan Yu, Heqing Guo	Dynamic Substitutability Analysis of Web Service Composition via Extended Pi-Calculus.	EUC (1)	2008	DBLP DOI BibTeX RDF
8	Stavros Garzonis, Chris Bevan, Eamonn O'Neill	Mobile service audio notifications: intuitive semantics and noises.	OZCHI	2008	DBLP DOI BibTeX RDF	intuitiveness of audio notifications, mobile audio notifications, mobile services categorisation, context awareness, earcons, auditory icons
8	Massimo Strano, Carlos Molina-Jiménez, Santosh K. Shrivastava	A Rule-Based Notation to Specify Executable Electronic Contracts.	RuleML	2008	DBLP DOI BibTeX RDF
8	Martin Nordio, Peter Müller 0001, Bertrand Meyer 0001	Proof-Transforming Compilation of Eiffel Programs.	TOOLS (46)	2008	DBLP DOI BibTeX RDF	proof-transforming compiler, CIL, Software verification, Proof-Carrying Code, Eiffel, program proofs
8	Ibrahim Cakirlar, Erdem Eser Ekinci, Oguz Dikenelli	Exception Handling in Goal-Oriented Multi-Agent Systems.	ESAW	2008	DBLP DOI BibTeX RDF
8	Wei Ren, Gang Chen 0002, Haifeng Shen, Zhonghua Yang, Jing-Bing Zhang, Chor Ping Low, David Chen 0002, Chengzheng Sun	Dynamic Self-Healing for Service Flows with Semantic Web Services.	Web Intelligence	2008	DBLP DOI BibTeX RDF
8	Oleg Kiselyov, Chung-chieh Shan	Lightweight monadic regions.	Haskell	2008	DBLP DOI BibTeX RDF	resource management, type systems, subtyping, monads, regions, type classes, parametric polymorphism, effect systems
8	Daniel J. Bernstein, Tanja Lange 0001, Reza Rezaeian Farashahi	Binary Edwards Curves.	CHES	2008	DBLP DOI BibTeX RDF	Edwards curves, complete addition law, Montgomery ladder, countermeasures against side-channel attacks, Elliptic curves, binary fields
8	Alex Kinneer, Gregg Rothermel	Assessing the usefulness of type inference algorithms in representing Java control flow to support software maintenance tasks.	ICSM	2008	DBLP DOI BibTeX RDF
8	Alexander Lux, Heiko Mantel	Who Can Declassify?.	Formal Aspects in Security and Trust	2008	DBLP DOI BibTeX RDF
8	Christos Kareliotis, Costas Vassilakis, Stathis Rouvas, Panagiotis Georgiadis 0001	Exception resolution for BPEL processes: a middleware-based framework and performance evaluation.	iiWAS	2008	DBLP DOI BibTeX RDF	quality of service (QoS), web services, scalability, middleware, exception handling, performance metrics
8	Kazuyo Narita, Hiroyuki Kitagawa	Detecting Outliers in Categorical Record Databases Based on Attribute Associations.	APWeb	2008	DBLP DOI BibTeX RDF	categorical record data, association rules, outlier detection
8	Haiyang Sun, Jian Yang 0001	Enforcing Business Collaboration Consistency in Business Transaction Net.	CEC/EEE	2008	DBLP DOI BibTeX RDF
8	Tim Mattson, Michael Wrinn	Parallel programming: can we PLEASE get it right this time?	DAC	2008	DBLP DOI BibTeX RDF	parallel computing, design patterns
8	Ahmed Abdallah, Wayne H. Wolf, Graham R. Hellestrand	Statistical characterization of execution time through simulation.	WISES	2008	DBLP DOI BibTeX RDF
8	Shanliang Jiang, Stuart Clements	Java Remote Job Execution System.	CISIS	2008	DBLP DOI BibTeX RDF
8	Sachin Kamboj, Keith S. Decker	Exploring Robustness in the Context of Organizational Self-design.	COIN@AAMAS&AAAI	2008	DBLP DOI BibTeX RDF
8	Pramod G. Joisha	A principled approach to nondeferred reference-counting garbage collection.	VEE	2008	DBLP DOI BibTeX RDF	static analysis, instrumentation, reference counting
8	Justin Dauwels, François B. Vialatte, Theophane Weber, Andrzej Cichocki	On Similarity Measures for Spike Trains.	ICONIP (1)	2008	DBLP DOI BibTeX RDF
8	David M. Howard 0002, Mitchel T. Keller, Stephen J. Young	A Characterization of Partially Ordered Sets with Linear Discrepancy Equal to 2.	Order	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 06A07
8	Laurent Fousse, Guillaume Hanrot, Vincent Lefèvre, Patrick Pélissier, Paul Zimmermann	MPFR: A multiple-precision binary floating-point library with correct rounding.	ACM Trans. Math. Softw.	2007	DBLP DOI BibTeX RDF	correct rounding, floating-point arithmetic, elementary function, Multiple-precision arithmetic, IEEE 754 standard, portable software
8	Dahlia Malkhi, Douglas B. Terry	Concise version vectors in WinFS.	Distributed Comput.	2007	DBLP DOI BibTeX RDF
8	Wim Martens, Frank Neven, Thomas Schwentick	Simple off the shelf abstractions for XML schema.	SIGMOD Rec.	2007	DBLP DOI BibTeX RDF
8	Michael Dewar, Lucia Moura, Daniel Panario, Brett Stevens, Qiang Wang 0012	Division of trinomials by pentanomials and orthogonal arrays.	Des. Codes Cryptogr.	2007	DBLP DOI BibTeX RDF	11T06, AMS Classification 94A55, 05B15
8	Jason Cong, Kirill Minkovich	Optimality Study of Logic Synthesis for LUT-Based FPGAs.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2007	DBLP DOI BibTeX RDF
8	Xin Chen 0034, Haining Wang, Shansi Ren, Xiaodong Zhang 0001	Maintaining Strong Cache Consistency for the Domain Name System.	IEEE Trans. Knowl. Data Eng.	2007	DBLP DOI BibTeX RDF	middleware, cache consistency, Domain name system, lease
8	Birsen Sirkeci-Mergen, Anna Scaglione	Randomized Space-Time Coding for Distributed Cooperative Communication.	IEEE Trans. Signal Process.	2007	DBLP DOI BibTeX RDF
8	Pratik K. Biswas	Autonomic Software Release Management for Communications Networks.	Integrated Network Management	2007	DBLP DOI BibTeX RDF
8	Benjamin Grégoire, Jorge Luis Sacchini	Combining a Verification Condition Generator for a Bytecode Language with Static Analyses.	TGC	2007	DBLP DOI BibTeX RDF
8	Binoy Ravindran, Edward Curley, Jonathan Stephen Anderson, E. Douglas Jensen	On Best-Effort Real-Time Assurances for Recovering from Distributable Thread Failures in Distributed Real-Time Systems.	ISORC	2007	DBLP DOI BibTeX RDF
8	Marcello Cinque, Domenico Cotroneo, Zbigniew Kalbarczyk, Ravishankar K. Iyer	How Do Mobile Phones Fail? A Failure Data Analysis of Symbian OS Smart Phones.	DSN	2007	DBLP DOI BibTeX RDF
8	Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato	Preferential Description Logics.	LPAR	2007	DBLP DOI BibTeX RDF
8	Dejvuth Suwimonteerabuth, Felix Berger, Stefan Schwoon, Javier Esparza	jMoped: A Test Environment for Java Programs.	CAV	2007	DBLP DOI BibTeX RDF
8	Michael A. Heroux, James M. Willenbring, Michael N. Phenow	Improving the Development Process for CSE Software.	PDP	2007	DBLP DOI BibTeX RDF
8	Jeffrey Fischer, Rupak Majumdar, Todd D. Millstein	Tasks: language support for event-driven programming.	PEPM	2007	DBLP DOI BibTeX RDF