Search results for "traces"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
21	Volker Diekert, Paul Gastin	Safety and Liveness Properties for Real Traces and a Direct Translation from LTL to Monoids.	Formal and Natural Computing	2002	DBLP DOI BibTeX RDF
21	Urs Hengartner, Sue B. Moon, Richard Mortier, Christophe Diot	Detection and analysis of routing loops in packet traces.	Internet Measurement Workshop	2002	DBLP DOI BibTeX RDF
21	Mohammad El-Ramly, Paul Iglinski, Eleni Stroulia, Paul G. Sorenson, Bruce Matichuk	Modeling the System-User Dialog Using Interaction Traces.	WCRE	2001	DBLP DOI BibTeX RDF	User Interface Reverse Engineering, System-user Interaction, Reverse Engineering, User Interface Reengineering
21	Boon-Ping Gan, Li Liu 0018, Zhengrong Ji, Stephen John Turner, Wentong Cai 0001	Managing event traces for a web front-end to a parallel simulation.	WSC	2001	DBLP DOI BibTeX RDF	World Wide Web (WWW)
21	Sudeep Sarkar, Isidro Robledo Vega	Discrimination of Motion Based on Traces in the Space of Probability Functions over Feature Relations.	CVPR (1)	2001	DBLP DOI BibTeX RDF
21	Cristóbal Pareja, Ricardo Pena, Fernando Rubio 0001, Clara Segura	Adding Traces to a Lazy Monadic Evaluator.	EUROCAST	2001	DBLP DOI BibTeX RDF
21	Eric E. Johnson	PDATS II: improved compression of address traces.	IPCCC	1999	DBLP DOI BibTeX RDF
21	Virginia Mary Lo, Jens Mache, Kurt J. Windisch	A Comparative Study of Real Workload Traces and Synthetic Workload Models for Parallel Job Scheduling.	JSSPP	1998	DBLP DOI BibTeX RDF
21	Madhavan Mukund, P. S. Thiagarajan	Linear Time Temporal Logics over Mazurkiewicz Traces.	MFCS	1996	DBLP DOI BibTeX RDF
21	Kassem Saleh, M. Ilangovan, Robert L. Probert	Recovery of Communications Protocol Design from Run Time Protocol Traces.	ICECCS	1996	DBLP DOI BibTeX RDF
21	Volker Diekert, Paul Gastin	A Domain for Concurrent Termination: A Generalization of Mazurkiewicz Traces (Extended Abstract).	ICALP	1995	DBLP DOI BibTeX RDF
21	Werner Ebinger, Anca Muscholl	Logical Definability on Infinite Traces.	ICALP	1993	DBLP DOI BibTeX RDF
21	Volker Diekert, Anca Muscholl	Deterministic Asynchronous Automata for Infinite Traces.	STACS	1993	DBLP DOI BibTeX RDF
21	Margaret Ann Francel, Spencer Rugaber	Fault localization using execution traces.	ACM Southeast Regional Conference	1992	DBLP DOI BibTeX RDF
21	K. K. Ramakrishnan, Prabuddha Biswas, Ramakrishna Karedla	Analysis of File I/O Traces in Commercial Computing Environments.	SIGMETRICS	1992	DBLP DOI BibTeX RDF	VMS
21	Paul Gastin	Recognizable and Rational Languages of Finite and Infinite Traces.	STACS	1991	DBLP DOI BibTeX RDF
21	Rami G. Melhem, Saurabh Gupta	A software tool for the automatic generation of memory traces for shared memory multiprocessor systems.	Annual Simulation Symposium	1989	DBLP DOI BibTeX RDF	C
20	Boris Nechaev, Vern Paxson, Mark Allman, Andrei V. Gurtov	On calibrating enterprise switch measurements.	Internet Measurement Conference	2009	DBLP DOI BibTeX RDF	network traces, switch-based packet capture, trace calibration, enterprise networks
20	Jelena Mirkovic	Privacy-safe network trace sharing via secure queries.	NDA	2008	DBLP DOI BibTeX RDF	network traces, privacy, sharing, sanitization
20	Ryszard Janicki, Dai Tri Man Le	Modelling Concurrency with Quotient Monoids.	Petri Nets	2008	DBLP DOI BibTeX RDF	quotient monoids, comtraces, stratified partial orders, stratified order structures, traces, canonical representations, step sequences
20	Nicolas Bettenburg, Rahul Premraj, Thomas Zimmermann 0001, Sunghun Kim 0001	Extracting structural information from bug reports.	MSR	2008	DBLP DOI BibTeX RDF	stack traces, source code, patches, structural information, bug reports
20	Duane Merrill, Kim M. Hazelwood	Trace fragment selection within method-based JVMs.	VEE	2008	DBLP DOI BibTeX RDF	region selection, JVM, traces, JIT compilation
20	Guanghui He, Jennifer C. Hou, Wei-Peng Chen, Takeo Hamada	Characterizing individual user behaviors in wlans.	MSWiM	2007	DBLP DOI BibTeX RDF	traffic measurement and modeling, wireless traces
20	Orla Greevy, Michele Lanza, Christoph Wysseier	Visualizing live software systems in 3D.	SOFTVIS	2006	DBLP DOI BibTeX RDF	feature traces, reverse engineering, dynamic analysis, 3D visualization
20	Orla Greevy, Stéphane Ducasse	Correlating Features and Code Using a Compact Two-Sided Trace Analysis Approach.	CSMR	2005	DBLP DOI BibTeX RDF	Feature-Traces, Software Metrics, Software Evolution, Dynamic Analysis, Feature
20	Chadi Barakat, Gianluca Iannaccone, Christophe Diot	Ranking flows from sampled traffic.	CoNEXT	2005	DBLP DOI BibTeX RDF	largest flow detection and ranking, validation with real traces, performance evaluation, packet sampling
20	Ludmila Cherkasova, Yun Fu, Wenting Tang, Amin Vahdat	Measuring and characterizing end-to-end Internet service performance.	ACM Trans. Internet Techn.	2003	DBLP DOI BibTeX RDF	End-to-end service performance, network packet traces, reconstruction of web page composition, web site performance, QoS, passive monitoring
20	Michael D. Ernst, Jake Cockrell, William G. Griswold, David Notkin	Dynamically Discovering Likely Program Invariants to Support Program Evolution.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	pattern recognition, formal specification, software evolution, dynamic analysis, execution traces, logical inference, Program invariants
20	Neelam Soundarajan	Refining Interactions in a Distributed System.	FAABS	2000	DBLP DOI BibTeX RDF	Interaction refinement, Communication traces, Correctness criteria
20	Ka-Cheong Leung, Victor O. K. Li	Generalized Load Sharing for Packet-Switching Networks.	ICNP	2000	DBLP DOI BibTeX RDF	generalized load sharing, multipath communication networks, weighted fair routing, packet level, call level, routing weight vector, packet-by-packet WFR, call-by-call WFR, deterministically fair traffic splitting algorithm, Internet backbone traces, generalized round robin routing, adaptive multipoint path routing protocols, simulation, performance evaluation, Internet, TCP, transport protocols, packet switching, digital simulation, telecommunication network routing, telecommunication traffic, packet-switching networks, service provision, performance bounds, probabilistic routing, packet transmission
20	Martin Erwig, Markus Schneider 0001	Visual Specification of Spatio-Temporal Developments.	VL	1999	DBLP DOI BibTeX RDF	Object Traces, Spatio-Temporal Databases, Predicates
20	Yunn Yen Chen, Jih-Kwon Peir, Chung-Ta King	Performance of Shared Cache on Multithreaded Architectures.	PDP	1996	DBLP DOI BibTeX RDF	shared cache performance, trace-driven simulation technique, storage hierarchy system, multithreaded execution environment, multithread scheduling techniques, server/workstation workload mix, MRU priority scheduling scheme, round-robin scheduling method, absolute hit ratio, concurrent threads, simulation, performance evaluation, parallel architectures, shared memory systems, processor scheduling, cache storage, multithreaded architectures, program traces, set associativity, cache size, direct-map cache
20	Debanjan Saha, Sarit Mukherjee, Satish K. Tripathi	Multirate scheduling for guaranteed and predictive services in ATM networks.	RTSS	1996	DBLP DOI BibTeX RDF	multirate scheduling, predictive services, multirate service mechanism, network session, bursty data, bursty arrivals, delay performance, MPEG video traces, single rate PGPS servers, packet-by-packet generalized processor sharing, predictive service, asynchronous transfer mode, ATM networks, service quality, VBR video
20	Bob Janssens, W. Kent Fuchs	The Performance of Cache-Based Error Recovery in Multiprocessors.	IEEE Trans. Parallel Distributed Syst.	1994	DBLP DOI BibTeX RDF	cache-based error recovery performance, cache-based checkpointing, rollback error recovery, shared-memorymultiprocessors, inherent redundancy, computation state, rollback propagation, EncoreMultimax, recovery schemes, cache-based schemes, low performance overhead, checkpoint interval, performance evaluation, performance evaluation, virtual machines, multiprocessors, redundancy, memory hierarchy, shared memory systems, system recovery, buffer storage, parallel applications, cache coherence protocol, transient errors, cache replacement policy, address traces
20	Craig B. Stunkel, W. Kent Fuchs	An Analysis of Cache Performance for a Hypercube Multicomputer.	IEEE Trans. Parallel Distributed Syst.	1992	DBLP DOI BibTeX RDF	Intel iPSC/2, processornodes, direct-mapped cache performance, application-specific datapartitioning, communication distribution, communication frequency, system accesses, user code, time distribution, message-passing code, performance evaluation, parallel programming, hypercube networks, storage management, buffer storage, parallel application, hypercube multicomputer, code analysis, cache simulation, address traces, data access patterns
20	George S. Avrunin, Ugo A. Buy, James C. Corbett, Laura K. Dillon, Jack C. Wileden	Automated Analysis of Concurrent Systems With the Constrained Expression Toolset.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	constrained expression toolset, expression analysis techniques, Ada-like design language, system traces, parallel programming, software tools, programming languages, source code, concurrent systems, reachable states
20	Marc Eisenstadt, John Domingue, Tim Rajan, Enrico Motta	Visual Knowledge Engineering.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	visual knowledge engineering, knowledge encoding, knowledge representation formalisms, large-scale debugging, graphical rule traces, complementary visual programming, KEATS, hypertext transcript analyzer, direct graph manipulation sketchpad, dependency viewers, logical rule dependencies, programming environments, knowledge acquisition, visual programming, knowledge engineering, program visualization, software environment
20	Gregor von Bochmann, Rachida Dssouli, J. R. Zhao	Trace Analysis for Conformance and Arbitration Testing.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	arbitration testing, implementation under test, IUT, communication protocol implementations, distributed test architectures, partial input/output traces, local observers, error-detection power, global knowledge, automated construction, trace analysis modules, reference specification, open systems interconnection, formal specification, protocols, transport protocol, program testing, open systems, conformance testing, conformance testing, OSI
20	Stephen J. Hartley	Compile-Time Program Restructuring in Multiprogrammed Virtual Memory Systems.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	multiprogrammed virtual memory, virtual address space, compile-time restructuring, instruction-only address traces, optimum space-time, performance evaluation, data structures, compiler, program compilers, storage management, storage management, multiprogramming, storage allocation, memory allocations, virtual storage, program restructuring
20	Antoni W. Mazurkiewicz	Semantics of concurrent systems: a modular fixed-point trace approach.	European Workshop on Applications and Theory in Petri Nets	1984	DBLP DOI BibTeX RDF	fixed point method, Petri nets, synchronization, modularity, traces, Concurrent systems, concurrent processes, system composition
20	Michael Menth, Andreas Binzenhöfer, Stefan Mühleck	Source models for speech traffic revisited.	IEEE/ACM Trans. Netw.	2009	DBLP DOI BibTeX RDF	queueing behavior, voice codecs, correlation, traffic models
20	Michalis Foukarakis, Demetres Antoniades, Michalis Polychronakis	Deep packet anonymization.	EUROSEC	2009	DBLP DOI BibTeX RDF
20	Ashok Anand, Chitra Muthukrishnan, Aditya Akella, Ramachandran Ramjee	Redundancy in network traffic: findings and implications.	SIGMETRICS/Performance	2009	DBLP DOI BibTeX RDF	traffic redundancy, traffic engineering
20	David Lo 0001, Leonardo Mariani, Mauro Pezzè	Automatic steering of behavioral model inference.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	mining automata, dynamic analysis, temporal properties
20	Pham Van Dung, Marat Zhanikeev, Yoshiaki Tanaka	Traffic Trace Engineering.	APNOMS	2009	DBLP DOI BibTeX RDF	Simulation, Analysis, Emulation, Trace, Traffic, Replay, Anomaly
20	Jidong Zhai, Tianwei Sheng, Jiangzhou He, Wenguang Chen, Weimin Zheng	FACT: fast communication trace collection for parallel applications through program slicing.	SC	2009	DBLP DOI BibTeX RDF	communication trace, parallel application, communication pattern, message passing program
20	Kathryn M. Mohror, Karen L. Karavanic	Evaluating similarity-based trace reduction techniques for scalable performance analysis.	SC	2009	DBLP DOI BibTeX RDF
20	Giovanni Resta, Paolo Santi	WiQoSM: An Integrated QoS-Aware Mobility and User Behavior Model for Wireless Data Networks.	IEEE Trans. Mob. Comput.	2008	DBLP DOI BibTeX RDF	QoS-driven mobility, Mobility modeling, user behavior modeling, wireless data networks
20	Dino Pedreschi, Francesco Bonchi, Franco Turini, Vassilios S. Verykios, Maurizio Atzori, Bradley A. Malin, Bart Moelans, Yücel Saygin	Privacy Protection: Regulations and Technologies, Opportunities and Threats.	Mobility, Data Mining and Privacy	2008	DBLP DOI BibTeX RDF
20	Richard Bejtlich	OpenPacket.org: the challenge of a free, public packet capture repository.	NDA	2008	DBLP DOI BibTeX RDF	network traffic, packet capture
20	Shantanu Gattani, Thomas E. Daniels	Reference models for network data anonymization.	NDA	2008	DBLP DOI BibTeX RDF	trace sanitization, formal model
20	Sabrina Gaito, Giuliano Grossi, Federico Pedersini	A two-level social mobility model for trace generation.	MobiHoc	2008	DBLP DOI BibTeX RDF	mobility models, manet
20	Blanca Vargas-Govea, Eduardo F. Morales 0001	Solving navigation tasks with learned Teleo-Reactive Programs.	IROS	2008	DBLP DOI BibTeX RDF
20	Tal Rusak, Philip Alexander Levis	Investigating a physically-based signal power model for robust low power wireless link simulation.	MSWiM	2008	DBLP DOI BibTeX RDF	wireless link simulation, wireless sensor networks
20	Jaydeep Marathe, Frank Mueller 0001	Source-Code-Correlated Cache Coherence Characterization of OpenMP Benchmarks.	IEEE Trans. Parallel Distributed Syst.	2007	DBLP DOI BibTeX RDF	simulation, Cache memories, SMPs, program instrumentation, coherence protocols, dynamic binary rewriting
20	Xiaolan Zhang 0003, Jim Kurose, Brian Neil Levine, Donald F. Towsley, Honggang Zhang 0003	Study of a bus-based disruption-tolerant network: mobility modeling and impact on routing.	MobiCom	2007	DBLP DOI BibTeX RDF	mobility trace modeling, DTN, epidemic routing
20	Seyed Morteza Mousavi, Hamid Reza Rabiee, M. Moshref, A. Dabirmoghaddam	Mobility pattern recognition in mobile ad-hoc networks.	Mobility Conference	2007	DBLP DOI BibTeX RDF	mobility simulator, mobile ad-hoc networks, mobility models
20	Pascale Le Gall, Nicolas Rapin, Assia Touil	Symbolic Execution Techniques for Refinement Testing.	TAP	2007	DBLP DOI BibTeX RDF	symbolic transition system, refinement, conformance testing, symbolic execution
20	Borys J. Bradel, Tarek S. Abdelrahman	Automatic Trace-Based Parallelization of Java Programs.	ICPP	2007	DBLP DOI BibTeX RDF
20	Pin Ren, Yan Gao 0003, Zhichun Li, Yan Chen 0004, Benjamin Watson 0001	IDGraphs: Intrusion Detection and Analysis Using Stream Compositing.	IEEE Computer Graphics and Applications	2006	DBLP DOI BibTeX RDF	Brushing and Linking, Intrusion Detection, Interactive System, Dynamic Query, Security Visualization, Correlation Matrix
20	Axel Thümmler, Peter Buchholz 0001, Miklós Telek	A Novel Approach for Phase-Type Fitting with the EM Algorithm.	IEEE Trans. Dependable Secur. Comput.	2006	DBLP DOI BibTeX RDF	hyper-Erlang distributions, Markov processes, communication networks, traffic modeling, Performance analysis and design aids
20	Jakob Eriksson, Sharad Agarwal, Paramvir Bahl, Jitendra Padhye	Feasibility study of mesh networks for all-wireless offices.	MobiSys	2006	DBLP DOI BibTeX RDF	wireless office, mesh network
20	Qianli Zhang, Xing Li	An IP Address Anonymization Scheme with Multiple Access Levels.	ICOIN	2006	DBLP DOI BibTeX RDF
20	Maryam Shokri, Hamid R. Tizhoosh, Mohamed Kamel	Opposition-Based Q(lambda) Algorithm.	IJCNN	2006	DBLP DOI BibTeX RDF
20	Jeffrey C. Mogul, Martin F. Arlitt	SC2D: an alternative to trace anonymization.	MineNet	2006	DBLP DOI BibTeX RDF	trace anonymization
20	Murali Krishna Ramanathan, Suresh Jagannathan, Ananth Grama	Trace-Based Memory Aliasing Across Program Versions.	FASE	2006	DBLP DOI BibTeX RDF
20	Grigore Rosu, Klaus Havelund	Rewriting-Based Techniques for Runtime Verification.	Autom. Softw. Eng.	2005	DBLP DOI BibTeX RDF	verification, rewriting, runtime analysis
20	Axel Thümmler, Peter Buchholz 0001, Miklós Telek	A Novel Approach for Fitting Probability Distributions to Real Trace Data with the EM Algorithm.	DSN	2005	DBLP DOI BibTeX RDF
20	Matthias Hauswirth, Amer Diwan, Peter F. Sweeney, Michael C. Mozer	Automating vertical profiling.	OOPSLA	2005	DBLP DOI BibTeX RDF	software performance monitors, whole-system analysis, perturbation, hardware performance monitors, vertical profiling
20	Bo Hong, Tara M. Madhyastha, Bing Zhang	Cluster-based input/output trace synthesis.	IPCCC	2005	DBLP DOI BibTeX RDF
20	Kaushik Rajan, Ramaswamy Govindarajan	A heterogeneously segmented cache architecture for a packet forwarding engine.	ICS	2005	DBLP DOI BibTeX RDF
20	Thomas Arts, Koen Claessen, Hans Svensson	Semi-formal Development of a Fault-Tolerant Leader Election Protocol in Erlang.	FATES	2004	DBLP DOI BibTeX RDF
20	Mohamed S. Mansour, Matthew Wolf, Karsten Schwan	StreamGen: A Workload Generation Tool for Distributed Information Flow Applications.	ICPP	2004	DBLP DOI BibTeX RDF
20	Hechmi Khlifi, Jean-Charles Grégoire	Estimation and Removal of Clock Skew From Delay Measures.	LCN	2004	DBLP DOI BibTeX RDF	clock skew, delay measurement
20	Marc Frappier, Richard St-Denis	EB 3: an entity-based black-box specification method for information systems.	Softw. Syst. Model.	2003	DBLP DOI BibTeX RDF	Trace-based specifications, Black-box specifications, JSD, Cleanroom, Patterns, Process algebra
20	António Nogueira, Paulo Salvador 0001, Rui Valadas, António Pacheco 0001	Modeling Network Traffic with Multifractal Behavior.	Telecommun. Syst.	2003	DBLP DOI BibTeX RDF	multiscaling, fractional Gaussian noise, conservative cascade, self-similar, traffic modeling, L-system, Markov modulated Poisson process, multifractal
20	Jaydeep Marathe, Frank Mueller 0001, Tushar Mohan, Bronis R. de Supinski, Sally A. McKee, Andy Yoo	METRIC: Tracking Down Inefficiencies in the Memory Hierarchy via Binary Rewriting.	CGO	2003	DBLP DOI BibTeX RDF
20	R. Achutharaman, R. Govindarajan, G. Hariprakash, Amos Omondi	Exploiting Java-ILP on a Simultaneous Multi-Trace Instruction Issue (SMTI) Processor.	IPDPS	2003	DBLP DOI BibTeX RDF
20	Manvi Agarwal, S. K. Nandy 0001, Jos T. J. van Eijndhoven, Srinivasan Balakrishnan	Speculative Trace Scheduling in VLIW Processors.	ICCD	2002	DBLP DOI BibTeX RDF
20	Jun (Jim) Xu, Jinliang Fan, Mostafa H. Ammar, Sue B. Moon	Prefix-Preserving IP Address Anonymization: Measurement-Based Security Evaluation and a New Cryptography-Based Scheme.	ICNP	2002	DBLP DOI BibTeX RDF
20	Michael D. Ernst	Summary of Dynamically Discovering Likely Program Invariants.	ICSM	2001	DBLP DOI BibTeX RDF
20	Jean-François Husson, Rémi Morin	On Recognizable Stable Trace Languages.	FoSSaCS	2000	DBLP DOI BibTeX RDF
20	Christoph C. Michael, Anup K. Ghosh	Using Finite Automata to Mine Execution Data for Intrusion Detection: A Preliminary Report.	Recent Advances in Intrusion Detection	2000	DBLP DOI BibTeX RDF	data mining, machine learning, finite automata, feature detection
20	Dietrich Kuske, Rémi Morin	Pomsets for Local Trace Languages - Recognizability, Logic & Petri Nets.	CONCUR	2000	DBLP DOI BibTeX RDF
20	Stefan Schrödl, Stefan Edelkamp	Inferring Flow of Control in Program Synthesis by Example.	KI	1999	DBLP DOI BibTeX RDF
20	Antonio González 0001, Jordi Tubella, Carlos Molina	Trace-Level Reuse.	ICPP	1999	DBLP DOI BibTeX RDF	data value reuse, instruction-level reuse, Instruction-level parallelism
20	Jason P. Casmira, John Fraser, David R. Kaeli, Waleed Meleis	Operating System Impact on Trace-Driven Simulation.	Annual Simulation Symposium	1998	DBLP DOI BibTeX RDF
20	Roberto Segala	Testing Probabilistic Automata.	CONCUR	1996	DBLP DOI BibTeX RDF
20	Vidyadhar Phalke, B. Gopinath	An Inter-Reference Gap Model for Temporal Locality in Program Behavior.	SIGMETRICS	1995	DBLP DOI BibTeX RDF	memory replacement, trace compaction, prediction, Markov chains, trace driven simulation, dynamic memory management, locality of reference
20	Ashok Erramilli, Walter Willinger, T. V. Lakshman, Daniel P. Heyman, Amarnath Mukherjee, San-qi Li, Onuttom Narayan	Performance Impacts of Self-Similarity in Traffic (Panel).	SIGMETRICS	1995	DBLP DOI BibTeX RDF
20	Volker Diekert, Paul Gastin, Antoine Petit 0001	Recognizable Complex Trace Languages.	MFCS	1991	DBLP DOI BibTeX RDF
16	Benjamin Poirier, Robert Roy, Michel R. Dagenais	Accurate offline synchronization of distributed traces using kernel-level events.	ACM SIGOPS Oper. Syst. Rev.	2010	DBLP DOI BibTeX RDF
16	Yung-Chih Chen, Elisha J. Rosensweig, Jim Kurose, Donald F. Towsley	Group detection in mobility traces.	IWCMC	2010	DBLP DOI BibTeX RDF	clustering, performance, group mobility
16	Theophanis Tsandilas, Wendy E. Mackay	Knotty gestures: subtle traces to support interactive use of paper.	AVI	2010	DBLP DOI BibTeX RDF	tangible interfaces, interactive paper, pen gestures
16	Antonio A. Sánchez-Ruiz-Granados, David Llansó, Marco Antonio Gómez-Martín, Pedro A. González-Calero	Authoring Behaviour for Characters in Games Reusing Abstracted Plan Traces.	IVA	2009	DBLP DOI BibTeX RDF
16	Arnaud Dury, Hesham Hallal, Alexandre Petrenko	Inferring Behavioural Models from Traces of Business Applications.	ICWS	2009	DBLP DOI BibTeX RDF
16	Fred Cohen	Analysis of Redundant Traces for Consistency: With Examples from Electronic Messaging and Graphical Images.	COMPSAC (2)	2009	DBLP DOI BibTeX RDF
16	Allen Van Gelder	Improved Conflict-Clause Minimization Leads to Improved Propositional Proof Traces.	SAT	2009	DBLP DOI BibTeX RDF
16	Pierrot Chery, Jiang Li 0009, Legand L. Burge III	Characterizing the association between mobile users using wireless network traces.	Richard Tapia Celebration of Diversity in Computing Conference	2009	DBLP DOI BibTeX RDF	interconnectivity time, mobile user association, wireless network trace, delay tolerant network
16	Leila Yahiaoui, Yannick Prié, Zizette Boufaïda 0001	The redocumentation process of computer mediated activity traces: a general framework.	Hypertext	2009	DBLP DOI BibTeX RDF	activity trace, computer mediated activity, personalized document generation, redocumentation process, hypermedia, RST