Search results for "exploits"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	John H. Reppy, Claudio V. Russo, Yingqi Xiao	Parallel concurrent ML.	ICFP	2009	DBLP DOI BibTeX RDF	parallelism, concurrency, message passing
4	Kuang-Yi Yen, Chun-Feng Wu, Wen-Whei Chang	Iterative Decoding of Convolutionally Encoded Multiple Descriptions.	DCC	2009	DBLP DOI BibTeX RDF
4	Fadila Aoussat, Mohamed Ahmed-Nacer	Reusing heterogeneous software process models.	ISCC	2009	DBLP DOI BibTeX RDF
4	Bahia Zebbane, Manel Chenait, Nadjib Badache, Houda Zeghilet	Topology control protocol for conserving energy in wireless sensor networks.	ISCC	2009	DBLP DOI BibTeX RDF
4	Rodrígo González-Alberquilla, Fernando Castro, Luis Piñuel, Francisco Tirado	Stack oriented data cache filtering.	CODES+ISSS	2009	DBLP DOI BibTeX RDF	power-performance efficient design, memory hierarchy, cache memory
4	Martin Lukasiewycz, Michael Glaß, Jürgen Teich	Exploiting data-redundancy in reliability-aware networked embedded system design.	CODES+ISSS	2009	DBLP DOI BibTeX RDF	reliability, design space exploration, networked embedded systems
4	Marcos Ortega, Linda Brodo, Manuele Bicego, Massimo Tistarelli	On the Quantitative Estimation of Short-Term Aging in Human Faces.	ICIAP	2009	DBLP DOI BibTeX RDF
4	Xiaoyu Wu, Yangsheng Wang, Jituo Li	Video Background Segmentation Using Adaptive Background Models.	ICIAP	2009	DBLP DOI BibTeX RDF	Background segmentation, Adaptive graph cut, Background modeling
4	Roberto Vezzani, Davide Baltieri, Rita Cucchiara	Pathnodes Integration of Standalone Particle Filters for People Tracking on Distributed Surveillance Systems.	ICIAP	2009	DBLP DOI BibTeX RDF	Pathnode, multicamera tracking
4	Antonio Buemi, Gaetano Santoro, Arcangelo Bruna, Mirko Guarnera	Adaptive Sharpening with Overshoot Control.	ICIAP	2009	DBLP DOI BibTeX RDF	sharpening, overshoot, gradients, band pass filters
4	Achille Fokoue, Mudhakar Srivatsa, Pankaj Rohatgi, Peter Wrobel, John Yesberg	A decision support system for secure information sharing.	SACMAT	2009	DBLP DOI BibTeX RDF	flexible information sharing, justification for non-shareability, semantic reasoner, description logic
4	Xiaofeng Gu, Kamesh Madduri, K. Subramani 0001, Hong-Jian Lai	Improved Algorithms for Detecting Negative Cost Cycles in Undirected Graphs.	FAW	2009	DBLP DOI BibTeX RDF
4	Osman Abul	MotifHider: A knowledge hiding approach to sequence masking.	ISCIS	2009	DBLP DOI BibTeX RDF
4	Pavel Emeliyanenko	Efficient Multiplication of Polynomials on Graphics Hardware.	APPT	2009	DBLP DOI BibTeX RDF	large integer arithmetic, parallel computations, GPU, graphics hardware, CUDA
4	Han Wan, Xiaopeng Gao, Xiang Long, Zhiqiang Wang	GCSim: A GPU-Based Trace-Driven Simulator for Multi-level Cache.	APPT	2009	DBLP DOI BibTeX RDF	parallel algorithms, caches, GPGPU, CUDA, trace-driven simulation
4	Matteo Cacciola, Giuseppe Megali, Diego Pellicanò, Michele Buonsanti, Salvatore Calcagno 0001, Mario Versaci, Francesco Carlo Morabito	Neuro-Fuzzy Approach for Reconstructing Fissures in Concrete's Reinforcing Bars.	WILF	2009	DBLP DOI BibTeX RDF	Slim Structures, Eddy-current Non Destructive Tests, Neuro-Fuzzy Systems, Non Linear Systems
4	Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani	Interpolant Generation for UTVPI.	CADE	2009	DBLP DOI BibTeX RDF
4	Jan-Henrik Haunert, Claus Brenner	Vehicle localization by matching triangulated point patterns.	GIS	2009	DBLP DOI BibTeX RDF	dynamic programming, positioning, point pattern matching
4	Alexei Pozdnoukhov	Dynamic network data exploration through semi-supervised functional embedding.	GIS	2009	DBLP DOI BibTeX RDF	functional embedding, social networks, complex systems, manifold learning
4	Pavel Parízek, Tomas Kalibera	Platform-Specific Restrictions on Concurrency in Model Checking of Java Programs.	FMICS	2009	DBLP DOI BibTeX RDF	restrictions of concurrency, model checking, embedded systems, Java programs, state explosion
4	Cormac Flanagan, Stephen N. Freund	FastTrack: efficient and precise dynamic race detection.	PLDI	2009	DBLP DOI BibTeX RDF	concurrency, dynamic analysis, race conditions
4	Hilmi Günes Kayacik, Nur Zincir-Heywood, Malcolm I. Heywood, Stefan Burschka	Testing Detector Parameterization Using Evolutionary Exploit Generation.	EvoWorkshops	2009	DBLP DOI BibTeX RDF
4	Sujeet Pradhan, Nimit Pattanasri	Two-Dimensional Retrieval in Synchronized Media Streams.	DASFAA	2009	DBLP DOI BibTeX RDF	comprehensive multimedia databases, multiple synchronized media streams, 2D information retrieval model
4	Xuan-Hong Dang, Vincent C. S. Lee, Wee Keong Ng, Arridhana Ciptadi, Kok-Leong Ong	An EM-Based Algorithm for Clustering Data Streams in Sliding Windows.	DASFAA	2009	DBLP DOI BibTeX RDF
4	Mohamed E. Hussein 0001, Wael Abd-Almageed	Approximate kernel matrix computation on GPUs forlarge scale learning applications.	ICS	2009	DBLP DOI BibTeX RDF	kernel methods, sparse matrices, space filling curves, gpu, affinity propagation
4	Tao Liu, Haibo Lin, Tong Chen 0001, Kevin O'Brien, Ling Shao 0002	DBDB: optimizing DMATransfer for the cell be architecture.	ICS	2009	DBLP DOI BibTeX RDF	loop blocking, local memory, multi-core system
4	Jun Shirako, Jisheng M. Zhao, V. Krishna Nandivada, Vivek Sarkar	Chunking parallel loops in the presence of synchronization.	ICS	2009	DBLP DOI BibTeX RDF	loop chunking, phasers, exceptions
4	Chuanyi Liu, Yu Gu 0005, Linchun Sun, Bin Yan, Dongsheng Wang 0002	R-ADMAD: high reliability provision for large-scale de-duplication archival storage systems.	ICS	2009	DBLP DOI BibTeX RDF	data de-duplication, reliability, error correcting code
4	Gabriel Falcão Paiva Fernandes, Vítor Manuel Mendes da Silva, Leonel Sousa	How GPUs can outperform ASICs for fast LDPC decoding.	ICS	2009	DBLP DOI BibTeX RDF	memory coalescence, parallel processing, graphics processing units, multithreading, low-density parity-check codes
4	Kun Zhang 0001, Heng Peng, Laiwan Chan, Aapo Hyvärinen	ICA with Sparse Connections: Revisited.	ICA	2009	DBLP DOI BibTeX RDF
4	Nhat Anh Cheviet, Mohamed El Badaoui, Adel Belouchrani, François Guillet	Blind Separation of Cyclostationary Signals.	ICA	2009	DBLP DOI BibTeX RDF	cyclostationary signals, Fraction-of-Time, identifiability condition, Blind source separation
4	Aline Neves, Cristina Wada, Ricardo Suyama, Romis Ribeiro Faissol Attux, João Marcos Travassos Romano	An Analysis of Unsupervised Signal Processing Methods in the Context of Correlated Sources.	ICA	2009	DBLP DOI BibTeX RDF	correntropy, constant modulus criterion, Shalvi-Weinstein criteria, nongaussianity-based ICA, Blind deconvolution
4	Carlos Estêvão R. Fernandes, Pierre Comon, Gérard Favier	Blind Order Detection and Parameter Estimation of MISO-FIR Channels.	ICA	2009	DBLP DOI BibTeX RDF	Blind identification, channel parameter estimation, high-order statistics (HOS), MISO channels, order detection, Chi-square test
4	Ka-Chun Wong, Kwong-Sak Leung, Man Hon Wong 0001	An evolutionary algorithm with species-specific explosion for multimodal optimization.	GECCO	2009	DBLP DOI BibTeX RDF	species conserving genetic algorithm, species-specific explosion, genetic algorithm, evolutionary algorithm, function optimization, multimodal optimization
4	Karthik Kuber, Chilukuri K. Mohan	Biasing evolving generations in learning classifier systems using information theoretic measures.	GECCO (Companion)	2009	DBLP DOI BibTeX RDF	biased evolution, genetic algorithms, information theory, learning classifier systems, xcs, sufficiency
4	Antonio Mucherino, Leo Liberti, Carlile Lavor, Nelson Maculan	Comparisons between an exact and a metaheuristic algorithm for the molecular distance geometry problem.	GECCO	2009	DBLP DOI BibTeX RDF	branch and prune, monkey search, protein molecules, combinatorial optimization, distance geometry
4	Lourdes Araujo, Juan Julián Merelo Guervós, Antonio Mora García, Carlos Cotta	Genotypic differences and migration policies in an island model.	GECCO	2009	DBLP DOI BibTeX RDF	migration policy, genetic algorithms, parallelism, diversity, island model
4	Krzysztof Krawiec, Pawel Lichocki	Approximating geometric crossover in semantic space.	GECCO	2009	DBLP DOI BibTeX RDF	fitness-distance correlation, global convexity, genetic programming, program semantics, geometric crossover
4	Michael Orlov, Moshe Sipper	Genetic programming in the wild: evolving unrestricted bytecode.	GECCO	2009	DBLP DOI BibTeX RDF	software evolution, java bytecode
4	Mohammad Samie, Gabriel Dragffy, Anthony G. Pipe	Novel bio-inspired self-repair algorithm for evolvable fault tolerant hardware systems.	GECCO (Companion)	2009	DBLP DOI BibTeX RDF	prokaryotic bio-inspired model, self-repair, embryonics, bio-inspired system
4	Matthew Burnside, Angelos D. Keromytis	F3ildCrypt: End-to-End Protection of Sensitive Information in Web Services.	ISC	2009	DBLP DOI BibTeX RDF
4	Rocco Aversa, Beniamino Di Martino, Salvatore Venticinque	Integration of Mobile Agents Technology and Globus for Assisted Design and Automated Development of Grid Services.	CSE (1)	2009	DBLP DOI BibTeX RDF
4	Tong Zhou, Romit Roy Choudhury, Krishnendu Chakrabarty	Diverse Routing: Exploiting Social Behavior for Routing in Delay-Tolerant Networks.	CSE (4)	2009	DBLP DOI BibTeX RDF
4	Juliana Tarossi Pollettini, Flávia P. Nicolas, Sylvia R. G. Panico, Julio C. Daneluzzi, Renato Tinós, José Augusto Baranauskas, Alessandra Alaniz Macedo	A Software Architecture-Based Framework Supporting Suggestion of Medical Surveillance Level from Classification of Electronic Patient Records.	CSE (1)	2009	DBLP DOI BibTeX RDF
4	Karima B. Hein, Reinhold Weiss	Minesweeper for Sensor Networks-Making Event Detection in Sensor Networks Dependable.	CSE (1)	2009	DBLP DOI BibTeX RDF
4	Long Lu, Vinod Yegneswaran, Phillip A. Porras, Wenke Lee	BLADE: Slashing the Invisible Channel of Drive-by Download Malware.	RAID	2009	DBLP DOI BibTeX RDF
4	Ikpeme Erete, Vinod Yegneswaran, Phillip A. Porras	ALICE@home: Distributed Framework for Detecting Malicious Sites.	RAID	2009	DBLP DOI BibTeX RDF
4	Rastislav Bodík	Algorithmic Program Synthesis with Partial Programs and Decision Procedures.	SAS	2009	DBLP DOI BibTeX RDF
4	Bogdan Pasaniuc, Justin Kennedy, Ion I. Mandoiu	Imputation-Based Local Ancestry Inference in Admixed Populations.	ISBRA	2009	DBLP DOI BibTeX RDF
4	Muhammad Kashif Farooq, Malik Jahan Khan, Shafay Shamail, Mian M. Awais	Intelligent project approval cycle for local government: case-based reasoning approach.	ICEGOV	2009	DBLP DOI BibTeX RDF	project approval, e-government, case based reasoning, CBR
4	Ramez Alkhatib, Marc H. Scholl	Compacting XML Structures Using a Dynamic Labeling Scheme.	BNCOD	2009	DBLP DOI BibTeX RDF
4	Ioannis Arapakis, Yashar Moshfeghi, Hideo Joho, Reede Ren, David Hannah, Joemon M. Jose	Enriching user profiling with affective features for the improvement of a multimodal recommender system.	CIVR	2009	DBLP DOI BibTeX RDF	affective feedback, recommender systems, user profiling, multimedia retrieval, facial expression analysis
4	Samaneh Moghaddam, Mohsen Jamali, Martin Ester, Jafar Habibi	FeedbackTrust: using feedback effects in trust-based recommendation systems.	RecSys	2009	DBLP DOI BibTeX RDF	teust, feedback, recommendation
4	Jill Freyne, Michal Jacovi, Ido Guy, Werner Geyer	Increasing engagement through early recommender intervention.	RecSys	2009	DBLP DOI BibTeX RDF	community, social networking, recommender systems, web 2.0, adoption, social software, participation
4	Umar Qasim, Vincent Oria, Yi-fang Brook Wu, Michael E. Houle, M. Tamer Özsu	A partial-order based active cache for recommender systems.	RecSys	2009	DBLP DOI BibTeX RDF	caching, query optimization
4	Atsuko Miyaji, Masahiro Sukegawa	New Correlations of RC4 PRGA Using Nonzero-Bit Differences.	ACISP	2009	DBLP DOI BibTeX RDF
4	Stephen S. Yau, Gautam G. Pohare	An Efficient Approach to Situation-Aware Service Discovery in Pervasive Service Computing Environments.	UIC	2009	DBLP DOI BibTeX RDF	Pervasive service computing environments, situation-aware service discovery, service resources, users’ preferences
4	Mohan Kumar	Distributed Computing in Opportunistic Environments.	UIC	2009	DBLP DOI BibTeX RDF
4	Raffaele de Amicis, Gabrio Girardi, Michele Andreolli, Giuseppe Conti	Game based technology to enhance the learning of history and cultural heritage.	Advances in Computer Entertainment Technology	2009	DBLP DOI BibTeX RDF	virtual reality, 3D reconstruction, entertainment, cultural heritage, game engine, multimedia contents, interactive navigation
4	Wanmin Wu, Zhenyu Yang 0006, Klara Nahrstedt	Dynamic overlay multicast in 3D video collaborative systems.	NOSSDAV	2009	DBLP DOI BibTeX RDF	collaborative systems, overlay multicast, 3D video
4	Mohsen Ghaffari 0001, Behnoosh Hariri, Shervin Shirmohammadi	A delaunay triangulation architecture supporting churn and user mobility in MMVEs.	NOSSDAV	2009	DBLP DOI BibTeX RDF	MMVE, red-black, voroni diagram, mobility, peer to peer, delaunay triangulation, churn
4	Xia Zhao, Yao Guo 0001, Xiangqun Chen	Transaction-based adaptive dynamic voltage scaling for interactive applications.	ISLPED	2009	DBLP DOI BibTeX RDF	scheduling, interaction, dynamic voltage and frequency scaling
4	Jason Cong, Bin Liu 0006, Zhiru Zhang	Behavior-level observability don't-cares and application to low-power behavioral synthesis.	ISLPED	2009	DBLP DOI BibTeX RDF	low power, observability, behavioral synthesis
4	Viet Yen Nguyen, Theo C. Ruys	Memoised Garbage Collection for Software Model Checking.	TACAS	2009	DBLP DOI BibTeX RDF
4	Fabrizio Baiardi, Diego Cilea, Daniele Sgandurra, Francesco Ceccarelli	Measuring Semantic Integrity for Remote Attestation.	TRUST	2009	DBLP DOI BibTeX RDF
4	Tameesh Suri, Aneesh Aggarwal	Improving performance of simple cores by exploiting loop-level parallelism through value prediction and reconfiguration.	Conf. Computing Frontiers	2009	DBLP DOI BibTeX RDF	data value prediction, dynamic reconfiguration, loop level parallelism
4	Masaki Narita, Takashi Katoh, Bhed Bahadur Bista, Toyoo Takata	A Distributed Detecting Method for SYN Flood Attacks and Its Implementation Using Mobile Agents.	MATES	2009	DBLP DOI BibTeX RDF
4	Gennaro Costagliola, Vittorio Fuccella	Fine-Grained Analysis of Web Tasks through Data Visualization.	ICWE	2009	DBLP DOI BibTeX RDF
4	David Israel Gonzalez-Aguirre, Steven Wieland, Tamim Asfour, Rüdiger Dillmann	On Environmental Model-Based Visual Perception for Humanoids.	CIARP	2009	DBLP DOI BibTeX RDF	Object Recognition, Humanoids, Model-Based Vision
4	Antonios G. Alexiou, Christos Bouras, Vasileios Kokkinos	An enhanced mechanism for efficient assignment of multiple MBMS sessions towards LTE.	MSWiM	2009	DBLP DOI BibTeX RDF	Power Control, UMTS, MIMO, LTE, MBMS
4	Lorenzo Cantoni, Elena Marchiori, Marco Faré, Luca Botturi, Davide Bolchini	A systematic methodology to use LEGO bricks in web communication design.	SIGDOC	2009	DBLP DOI BibTeX RDF	cruise industry, lego bricks, web applications, requirements analysis, informal interactions, etourism
4	Roberto Fagá Jr., Bruno C. Furtado, Felipe Maximino, Renan G. Cattelan, Maria da Graça Campos Pimentel	Context information exchange and sharing in a peer-to-peer community: a video annotation scenario.	SIGDOC	2009	DBLP DOI BibTeX RDF	CSCW, context, P2P, collaborative annotations, interactive digital tv
4	Ajay Gopinathan, Zongpeng Li	Stochastic Multicast with Network Coding.	ICDCS	2009	DBLP DOI BibTeX RDF
4	Frank van Harmelen	Large Scale Reasoning on the Semantic Web: What to Do When Success Is Becoming a Problem.	AMT	2009	DBLP DOI BibTeX RDF
4	Burkhard Englert, Chryssis Georgiou, Peter M. Musial, Nicolas C. Nicolaou, Alexander A. Shvartsman	On the Efficiency of Atomic Multi-reader, Multi-writer Distributed Memory.	OPODIS	2009	DBLP DOI BibTeX RDF
4	Zheng Gong, Pieter H. Hartel, Svetla Nikova, Bo Zhu 0007	Towards Secure and Practical MACs for Body Sensor Networks.	INDOCRYPT	2009	DBLP DOI BibTeX RDF
4	Xiuchao Wu, Mun Choon Chan, Akkihebbal L. Ananda, Chetan Ganjihal	SyncTCP: A New Approach to High Speed Congestion Control.	ICNP	2009	DBLP DOI BibTeX RDF
4	Bernard Ng, Rafeef Abugharbieh, Martin J. McKeown	Functional Segmentation of fMRI Data Using Adaptive Non-negative Sparse PCA (ANSPCA).	MICCAI (1)	2009	DBLP DOI BibTeX RDF
4	Suyash P. Awate, Paul A. Yushkevich, Daniel J. Licht, James C. Gee	Gender Differences in Cerebral Cortical Folding: Multivariate Complexity-Shape Analysis with Insights into Handling Brain-Volume Differences.	MICCAI (1)	2009	DBLP DOI BibTeX RDF
4	Seungju Bang, Kyoungju Park	Oriental stylization with strokes and shades.	SIGGRAPH Posters	2009	DBLP DOI BibTeX RDF
4	Fang Liu, Meng-Cheng Huang, Xuehui Liu, Enhua Wu	Bucket depth peeling.	SIGGRAPH Talks	2009	DBLP DOI BibTeX RDF
4	Francisco A. Madera-Ramírez, A. M. Day, Stephen D. Laycock	A Hybrid Bounding Volume Algorithm to Detect Collisions between Deformable Objects.	ACHI	2009	DBLP DOI BibTeX RDF
4	Weirong Jiang, Viktor K. Prasanna	A FPGA-based Parallel Architecture for Scalable High-Speed Packet Classification.	ASAP	2009	DBLP DOI BibTeX RDF
4	Radu Marinescu 0002	Exploiting Problem Decomposition in Multi-objective Constraint Optimization.	CP	2009	DBLP DOI BibTeX RDF
4	Aarti Choudhary, Sandip Kundu	A process variation tolerant self-compensating FinFET based sense amplifier design.	ACM Great Lakes Symposium on VLSI	2009	DBLP DOI BibTeX RDF	sense amplifier, robustness, process -variation, yield, sram, finfet
4	Marius Pasca, Enrique Alfonseca	Web-derived resources for web information retrieval: from conceptual hierarchies to attribute hierarchies.	SIGIR	2009	DBLP DOI BibTeX RDF	class attributes, conceptual hierarchies, unstructured text, web search, knowledge acquisition, named entities
4	Yefeng Zheng 0001, Bogdan Georgescu, Dorin Comaniciu	Marginal Space Learning for Efficient Detection of 2D/3D Anatomical Structures in Medical Images.	IPMI	2009	DBLP DOI BibTeX RDF
4	Vassiliki Koufi, Flora Malamateniou, George Vassilacopoulos	A mediation framework for achieving interoperability in pervasive grid-based homecare systems.	PETRA	2009	DBLP DOI BibTeX RDF	grid portal application, interoperability, software agents, workflow systems, business process execution language
4	Jonathan Rosenfeld, Eby G. Friedman	On-chip DC-DC converters for three-dimensional ICs.	ISQED	2009	DBLP DOI BibTeX RDF
4	Ariel Futoransky, Fernando Miranda, José Ignacio Orlicki, Carlos Sarraute	Simulating cyber-attacks for fun and profit.	SimuTools	2009	DBLP DOI BibTeX RDF	0-day, network security, training, network simulation, vulnerability, exploit, penetration test, cyber-attack
4	Kwang-Chun Go, Jae-Hyun Kim, Seong-Hwan Oh, Kyeong-Deok Moon, Kwangil Lee	Resource allocation algorithm considering a priority of service classes for WiMedia UWB system.	ICUIMC	2009	DBLP DOI BibTeX RDF	WiMedia UWB, resource allocation, priority
4	Rabie K. Almatarneh, Mohamed Hossam Ahmed, Octavia A. Dobre	Frequency-time scheduling algorithm for OFDMA systems.	CCECE	2009	DBLP DOI BibTeX RDF
4	M. Jahangir Alam, Mohammad T. Iqbal	Design and development of hybrid vertical axis turbine.	CCECE	2009	DBLP DOI BibTeX RDF
4	Baudoin Collard, François-Xavier Standaert	A Statistical Saturation Attack against the Block Cipher PRESENT.	CT-RSA	2009	DBLP DOI BibTeX RDF
4	Armando Astarloa, Jesús Lázaro 0001, Unai Bidarte, Aitzol Zuloaga, Jaime Jimenez	DNAX-BCU: An Un-clonable Cost-conscious SoPC Implementation for Bus Coupling Units of the European Installation Bus.	ICDCS Workshops	2009	DBLP DOI BibTeX RDF
4	Michael Backes 0001, Boris Köpf, Andrey Rybalchenko	Automatic Discovery and Quantification of Information Leaks.	SP	2009	DBLP DOI BibTeX RDF
4	Ana Petric, Gordan Jezic	Reputation Tracking Procurement Auctions.	ICCCI	2009	DBLP DOI BibTeX RDF	B2B e-market, reputation, procurement, reverse auctions, multi-attribute auctions
4	Sanjeev Arora, Constantinos Daskalakis, David Steurer	Message passing algorithms and improved LP decoding.	STOC	2009	DBLP DOI BibTeX RDF	lp decoding, min-sum algorithm, ldpc codes, message-passing algorithms
4	W. Bradley Knox, Peter Stone	Interactively shaping agents via human reinforcement: the TAMER framework.	K-CAP	2009	DBLP DOI BibTeX RDF	human teachers, shaping, human-agent interaction, learning agents, sequential decision-making
4	Vladimir Blagojevic, Wim Codenie, Jessie Dedecker, Nicolás González-Deleito, Jeroen Deleu, Nick Boucart	Murphy: A Web 2.0 approach for proactive risk management in hardware/software co-design.	ICSE Companion	2009	DBLP DOI BibTeX RDF