Search results for "Warnings"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Saddek Bensalem, Klaus Havelund	Dynamic Deadlock Analysis of Multi-threaded Programs.	Haifa Verification Conference	2005	DBLP DOI BibTeX RDF
12	Benjamin B. Perry, Tim Van Allen	Causal Reasoning Engine: An Explanation-Based Approach to Syndromic Surveillance.	HICSS	2005	DBLP DOI BibTeX RDF
12	David P. Biros, Michael C. Hass, Karl Wiers, Douglas P. Twitchell, Mark Adkins, Judee K. Burgoon, Jay F. Nunamaker Jr.	Task Performance Under Deceptive Conditions: Using Military Scenarios in Deception Detection Research.	HICSS	2005	DBLP DOI BibTeX RDF
12	Tauseef A. Israr, Danny H. Lau, Greg Franks, C. Murray Woodside	Automatic generation of layered queuing software performance models from commonly available traces.	WOSP	2005	DBLP DOI BibTeX RDF	layered queuing, tracing performance modeling, software performance, model building, performance engineering
12	Christoph Csallner, Yannis Smaragdakis	Check 'n' crash: combining static checking and testing.	ICSE	2005	DBLP DOI BibTeX RDF	usability, static analysis, dynamic analysis, automatic testing, test case generation, extended static checking
12	Stefan Brass, Christian Goldberg	Proving the Safety of SQL Queries.	QSIC	2005	DBLP DOI BibTeX RDF	Runtime Errors, SQL, Consistency
12	Rui Costa Cardoso, Mário M. Freire	Towards Autonomic Minimization of Security Vulnerabilities Exploitation in Hybrid Network Environments.	ICAS/ICNS	2005	DBLP DOI BibTeX RDF
12	Jaime Spacco, Jaymie Strecker, David Hovemeyer, William W. Pugh	Software repository mining with Marmoset: an automated programming project snapshot and testing system.	MSR	2005	DBLP DOI BibTeX RDF
12	Peter Tawdross, Andreas König 0001	Feasibility Study of a Novel Bio-Inspired Location Sensor Concept for Indoor Location Based Services in Ambient Intelligence Applications.	WISES	2005	DBLP DOI BibTeX RDF
12	Francesco Bellotti, Alessandro De Gloria, Andrea Poggi, Luisa Andreone, S. Damiani, P. Knoll	Designing configurable automotive dashboards on liquid crystal displays.	Cogn. Technol. Work.	2004	DBLP DOI BibTeX RDF	Digital automotive dashboards, Road user tests, Liquid crystal displays, Multimedia systems, Human-machine interaction, Graphics design, Car, Runtime configurability
12	Chris A. McMahon, Yaowu Liu, Rose Crossland, Dave Brown, David Leal, Janardan Devlukia	A best practice advice system to support automotive engineering analysis processes.	Eng. Comput.	2004	DBLP DOI BibTeX RDF	Best practice advice, Engineering repository, Adaptive hypermedia, Engineering analysis
12	Federico Avanzini, Davide Rocchesso, Alberto Belussi, Alessandro Dal Palù, Agostino Dovier	Designing an Urban-Scale Auditory Alert System.	Computer	2004	DBLP DOI BibTeX RDF
12	Li-Chiou Chen, Kathleen M. Carley	The impact of countermeasure propagation on the prevalence of computer viruses.	IEEE Trans. Syst. Man Cybern. Part B	2004	DBLP DOI BibTeX RDF
12	Lars Petersson, Luke Fletcher, Nick Barnes, Alexander Zelinsky	An Interactive Driver Assistance System Monitoring the Scene in and out of the Vehicle.	ICRA	2004	DBLP DOI BibTeX RDF
12	Tobias Lindahl, Konstantinos Sagonas	Detecting Software Defects in Telecom Applications Through Lightweight Static Analysis: A War Story.	APLAS	2004	DBLP DOI BibTeX RDF	Compile-time program checking, software development, software tools, defect detection, software quality assurance
12	Marc Torrent-Moreno, Daniel Jiang, Hannes Hartenstein	Broadcast reception rates and effects of priority access in 802.11-based vehicular ad-hoc networks.	Vehicular Ad Hoc Networks	2004	DBLP DOI BibTeX RDF	broadcast reception rates, non-deter-ministic radio propagation model, priority access, IEEE 802.11
12	Nick Rutar, Christian B. Almazan, Jeffrey S. Foster	A Comparison of Bug Finding Tools for Java.	ISSRE	2004	DBLP DOI BibTeX RDF
12	John D. Lee, Joshua D. Hoffman, Elizabeth Hayes	Collision warning design to mitigate driver distraction.	CHI	2004	DBLP DOI BibTeX RDF	collision warning systems, smart cars, trust, notification systems, user acceptance, distraction
12	Claus Marberger, Manfred Dangelmaier, Harald Widlroither, Evangelos Bekiaris	User centred HMI development in the AWAKE - project.	SMC (1)	2004	DBLP DOI BibTeX RDF
12	René van Paassen, John D. Lee, Heather Stoner, Dawn C. Marshall	Enhancing interaction with the driving ecology through haptic interfaces.	SMC (1)	2004	DBLP DOI BibTeX RDF
12	Jorge A. Martinez-Alarcon, Stephen J. McKenna	"Is it as I left it?"- a computer vision aid for the blind.	SMC (7)	2004	DBLP DOI BibTeX RDF
12	John Donaldson	Analyzing Systems Failures through the Use of Case Histories.	ISESE	2004	DBLP DOI BibTeX RDF
12	Cyrille Artho, Klaus Havelund	Applying Jlint to Space Exploration Software.	VMCAI	2004	DBLP DOI BibTeX RDF
12	Stefan Brass, Christian Goldberg	Semantic Errors in SQL Queries: A Quite Complete List.	QSIC	2004	DBLP DOI BibTeX RDF
12	Michael Burrows, Stephen N. Freund, Janet L. Wiener	Run-Time Type Checking for Binary Programs.	CC	2003	DBLP DOI BibTeX RDF
12	Dorron Levy, Ram Chillarege	Early Warning of Failures through Alarm Analysis - A Case Study in Telecom Voice Mail Systems.	ISSRE	2003	DBLP DOI BibTeX RDF
12	Ernesto Novillo, Paul Lu	A Case Study of Selected SPLASH-2 Applications and the SBT Debugging Tool.	IPDPS	2003	DBLP DOI BibTeX RDF
12	Ricky E. Sward, Martin C. Carlisle, Barry S. Fagin, David S. Gibson	The case for Ada at the USAF academy.	SIGAda	2003	DBLP DOI BibTeX RDF	Java, C++, computer science education, Ada 95, C#
12	Christoph von Praun, Thomas R. Gross	Static conflict analysis for multi-threaded object-oriented programs.	PLDI	2003	DBLP DOI BibTeX RDF	heap shape graph, object use graph, representations for concurrent programs, program analysis, race detection
12	David L. Heine, Monica S. Lam	A practical flow-sensitive and context-sensitive C and C++ memory leak detector.	PLDI	2003	DBLP DOI BibTeX RDF	program analysis, type systems, memory management, error detection, memory leaks
12	Stefan Jaksch, Stefan Pfennigschmidt, Kurt Sandkuhl, Christoph Thiel	Information Logistic Applications for Information-on-Demand Scenarios: Concepts and Experiences from WIND Project.	EUROMICRO	2003	DBLP DOI BibTeX RDF
12	Donald P. Brutzman	X3D-edit authoring for extensible 3D (X3D) graphics.	SIGGRAPH Educators Program	2003	DBLP DOI BibTeX RDF
12	Hannes Hartenstein, Holger Füßler, Martin Mauve, Walter J. Franz	Simulation Results and a Proof-of-Concept Implementation of the FleetNet Position-Based Router: Extended Abstract.	PWC	2003	DBLP DOI BibTeX RDF
12	Feng Chen 0006, Grigore Rosu, Ram Prasad Venkatesan	Rule-Based Analysis of Dimensional Safety.	RTA	2003	DBLP DOI BibTeX RDF
12	O. Sami Saydjari	Defending Cyberspace.	Computer	2002	DBLP DOI BibTeX RDF
12	Jean-Louis Sourrouille, Guy Caplat	Constraint checking in UML modeling.	SEKE	2002	DBLP DOI BibTeX RDF
12	Steven R. Johnston	Development of a Legal Framework for Intrusion Detection.	RAID	2002	DBLP DOI BibTeX RDF	Anti-terrorism law, criminal law, private communications, privacy, intrusion detection, wiretap, interception
12	Kymie M. C. Tan, Kevin S. Killourhy, Roy A. Maxion	Undermining an Anomaly-Based Intrusion Detection System Using Common Exploits.	RAID	2002	DBLP DOI BibTeX RDF
12	Robert W. Brodersen, Anthony M. Hill, John Kibarian, Desmond Kirkpatrick, Mark A. Lavin, Mitsumasa Koyanagi	Nanometer design: what hurts next...?	DAC	2002	DBLP DOI BibTeX RDF
12	Cormac Flanagan, Stephen N. Freund	Detecting race conditions in large programs.	PASTE	2001	DBLP DOI BibTeX RDF	Java
12	Didier Dubois	Possibility Theory, Probability Theory and Multiple-Valued Logics: A Clarification.	Fuzzy Days	2001	DBLP DOI BibTeX RDF
12	Tom Goff, Nael B. Abu-Ghazaleh, Dhananjay S. Phatak, Ridvan Kahvecioglu	Preemptive routing in Ad Hoc networks.	MobiCom	2001	DBLP DOI BibTeX RDF
12	Nurit Dor, Michael Rodeh, Shmuel Sagiv	Cleanness Checking of String Manipulations in C Programs via Integer Analysis.	SAS	2001	DBLP DOI BibTeX RDF
12	Ralf Pinger, Hans-Dieter Ehrich	Compositional Checking of Communication among Observers.	FASE	2001	DBLP DOI BibTeX RDF	distributed logic, modelling and design, object system, model checking, verification, temporal logic, compositionality
12	Curtis E. Hrischuk, C. Murray Woodside, Jerome A. Rolia, Rod Iversen	Trace-Based Load Characterization for Gernerating Performance Software Models.	IEEE Trans. Software Eng.	1999	DBLP DOI BibTeX RDF	layered queuing, software traces, performance prototyping, workload characterization, Software performance, performance engineering, analytic performance models
12	Vladimir I. Shelekhov, Sergey V. Kuksenko	On the Practical Static Checker of Semantic Run-Time Errors.	APSEC	1999	DBLP DOI BibTeX RDF	static analyzer, program analysis, data flow analysis
12	Amy R. Ward, Peter W. Glynn, Kathy J. Richardson	Internet service performance failure detection.	SIGMETRICS Perform. Evaluation Rev.	1998	DBLP DOI BibTeX RDF
12	KianSing Ng, Huan Liu, HweeBong Kwah	A Data Mining Application: Customes Retention at the Port of Singapore Authority (PSA).	SIGMOD Conference	1998	DBLP DOI BibTeX RDF	customer retention, multiple concept-level association rules, decision-tree induction, deviation analysis
12	Bernhard K. Aichernig, Peter Gorm Larsen	A Proof Obligation Generator for VDM-SL.	FME	1997	DBLP DOI BibTeX RDF
12	Shuichi Fukuda, Yoshifusa Matsuura	Distance Skill Learning with Special Attention Paid to the Nonverbal Aspect .	WETICE	1997	DBLP DOI BibTeX RDF	distance skill learning, motional skill, penmanship, computer aided instruction, nonverbal communication, client/server system
12	Shari Lawrence Pfleeger	Measuring Reuse: A Cautionary Tale.	IEEE Softw.	1996	DBLP DOI BibTeX RDF
12	Jeff Richey	Condition Handling in SQL Persistent Stored Modules.	SIGMOD Rec.	1995	DBLP DOI BibTeX RDF	SQL
12	William W. Gaver, Randall B. Smith, Tim O'Shea	Effective sounds in complex systems: the ARKOLA simulation.	CHI	1991	DBLP DOI BibTeX RDF
12	Muralidhar Sitaram, George W. Ernst, John Marcuse	Knowledge based system to diagnose faults in discrete event systems.	IEA/AIE (1)	1989	DBLP DOI BibTeX RDF
12	Eva-Martin Mueckstein	Controlled natural language interfaces (extended abstract): the best of three worlds.	ACM Conference on Computer Science	1985	DBLP DOI BibTeX RDF