Search results for "U-charts"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
21	Terry J. Anderson, Ali Hussam, Bill Plummer, Nathan Jacobs	Pie Charts for Visualizing Query Term Frequency in Search Results.	ICADL	2002	DBLP DOI BibTeX RDF
21	Abhik Roychoudhury, P. S. Thiagarajan	An Executable Specification Language Based on Message Sequence Charts.	10th Anniversary Colloquium of UNU/IIST	2002	DBLP DOI BibTeX RDF
21	Paul Baker, Paul Bristow, Clive Jervis, David J. King, Bill Mitchell	Automatic Generation of Conformance Tests from Message Sequence Charts.	SAM	2002	DBLP DOI BibTeX RDF
21	Rémi Morin	Recognizable Sets of Message Sequence Charts.	STACS	2002	DBLP DOI BibTeX RDF
21	Markus Lohrey	Safe Realizability of High-Level Message Sequence Charts.	CONCUR	2002	DBLP DOI BibTeX RDF
21	Blaise Genest, Anca Muscholl	Pattern Matching and Membership for Hierarchical Message Sequence Charts.	LATIN	2002	DBLP DOI BibTeX RDF
21	Loïc Hélouët	Some Pathological Message Sequence Charts, and How to Detect Them.	SDL Forum	2001	DBLP DOI BibTeX RDF
21	Andrew Miga, Daniel Amyot, Francis Bordeleau, Donald Cameron, C. Murray Woodside	Deriving Message Sequence Charts from Use Case Maps Scenario Specifications.	SDL Forum	2001	DBLP DOI BibTeX RDF
21	Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan	Regular Collections of Message Sequence Charts.	MFCS	2000	DBLP DOI BibTeX RDF
21	Manfred Broy	The Essence of Message Sequence Charts.	ISMSE	2000	DBLP DOI BibTeX RDF
21	Harald P. E. Vranken, Tomás Garciá Garciá, Sjouke Mauw, Loe M. G. Feijs	IC Design Validation Using Message Sequence Charts.	EUROMICRO	2000	DBLP DOI BibTeX RDF
21	Robert Kosara, Silvia Miksch	A Visualization of Medical Therapy Plans Compared to Gantt and PERT Charts.	TIME	2000	DBLP DOI BibTeX RDF	Time in problem solving, Information Visualization
21	Rajeev Alur, Mihalis Yannakakis	Model Checking of Message Sequence Charts.	CONCUR	1999	DBLP DOI BibTeX RDF
21	Doron A. Peled	A Toolset for Message Sequence Charts.	CAV	1998	DBLP DOI BibTeX RDF
21	Paulo Sérgio Muniz Silva	Extended Message Sequence Charts with Time-Interval Semantics.	TIME	1998	DBLP DOI BibTeX RDF
21	Piotr Kosiuczenko	Time in Message Sequence Charts: A Formal Approach (Extended Abstract).	Euro-Par	1997	DBLP DOI BibTeX RDF
21	Stephen G. Eick, Amy Wards	An Interactive Visualization for Message Sequence Charts.	WPC	1996	DBLP DOI BibTeX RDF
21	Doron Drusinsky-Yoresh	A state assignment procedure for single-block implementation of state charts.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1991	DBLP DOI BibTeX RDF
17	Rainer Lutz 0001, Stephan Diehl 0001	ChartFlight: from spreadsheets to computer-animated data flights.	Web3D	2010	DBLP DOI BibTeX RDF	animation, web, video
17	Alexandre Graell i Amat, Charbel Abdel Nour, Catherine Douillard	Serially concatenated continuous phase modulation for satellite communications.	IEEE Trans. Wirel. Commun.	2009	DBLP DOI BibTeX RDF
17	Sungyul Choe, Junho Kim 0001, Haeyoung Lee, Seungyong Lee 0001	Random Accessible Mesh Compression Using Mesh Chartification.	IEEE Trans. Vis. Comput. Graph.	2009	DBLP DOI BibTeX RDF
17	Dirk Fahland	Oclets - Scenario-Based Modeling with Petri Nets.	Petri Nets	2009	DBLP DOI BibTeX RDF	Petri nets, scenarios, operational semantics, partial order
17	Jan Miksatko, Michael Kipp	Hybrid Control for Embodied Agents Applications.	KI	2009	DBLP DOI BibTeX RDF
17	Leila Ribeiro 0001, Luciana Foss, Bruno Carreiro da Silva, Daltro José Nunes	Model Transformation Using Graph Transactions.	ICSR	2009	DBLP DOI BibTeX RDF
17	João Lourenço, Ricardo J. Dias, João Luís, Miguel Rebelo, Vasco Pessanha	Understanding the behavior of transactional memory applications.	PADTAD	2009	DBLP DOI BibTeX RDF	visualization, testing, concurrency, monitoring, debugging, profiling, software transactional memory
17	Fan-Min Li, Cheng-Hung Lin, An-Yeu Wu	Unified Convolutional/Turbo Decoder Design Using Tile-Based Timing Analysis of VA/MAP Kernel.	IEEE Trans. Very Large Scale Integr. Syst.	2008	DBLP DOI BibTeX RDF
17	Michael H. Böhlen, Linas Bukauskas, Arturas Mazeika, Peer Mylov	The 3DVDM Approach: A Case Study with Clickstream Data.	Visual Data Mining	2008	DBLP DOI BibTeX RDF
17	Muhammad Fasih Uddin Butt, Soon Xin Ng, Lajos Hanzo	EXIT Chart Aided Design of Near-Capacity Self-Concatenated Trellis Coded Modulation Using Iterative Decoding.	VTC Spring	2008	DBLP DOI BibTeX RDF
17	Soon Xin Ng, Jin Wang 0013, Lajos Hanzo	Unveiling Near-Capacity Code Design: The Realization of Shannon's Communication Theory for MIMO Channels.	ICC	2008	DBLP DOI BibTeX RDF
17	Cagatay Goncu, Kim Marriott	Tactile chart generation tool.	ASSETS	2008	DBLP DOI BibTeX RDF	tactile diagram, accessibility
17	Joongsup Lee, Christos Alexopoulos, David Goldsman, Seong-Hee Kim, Kwok-Leung Tsui, James R. Wilson	A distribution-free tabular CUSUM chart for correlated data with automated variance estimation.	WSC	2008	DBLP DOI BibTeX RDF
17	Sohail Ahmed, Robert G. Maunder, Lie-Liang Yang, Lajos Hanzo	Iterative Detection of Three-Stage Concatenated FFH-MFSK.	WCNC	2008	DBLP DOI BibTeX RDF
17	Epameinondas Gasparis, Amnon H. Eden, Jonathan Nicholson, Rick Kazman	The design navigator: charting java programs.	ICSE Companion	2008	DBLP DOI BibTeX RDF	design mining, reverse engineering, object-oriented design, software visualization, software modelling
17	Mohammad Zulkernine, Mathew Graves, Muhammad Umair Ahmed Khan	Integrating software specifications into intrusion detection.	Int. J. Inf. Sec.	2007	DBLP DOI BibTeX RDF	Software specification languages, Intrusion detection, State machines, Attack scenarios
17	Yongwei Miao, Jieqing Feng, Chunxia Xiao, Qunsheng Peng 0001, A. Robin Forrest	Differentials-Based Segmentation and Parameterization for Point-Sampled Surfaces.	J. Comput. Sci. Technol.	2007	DBLP DOI BibTeX RDF	point-sampled surface, segmentation, computer graphics, multidimensional scaling, parameterization, k-means clustering
17	Jeffrey Heer, George G. Robertson	Animated Transitions in Statistical Data Graphics.	IEEE Trans. Vis. Comput. Graph.	2007	DBLP DOI BibTeX RDF	Statistical data graphics, design, information visualization, animation, experiment, transitions
17	V. Duraccio, Domenico Falcone, Alessandro Silvestri, GianPaolo Di Bona	Use of simulation for the prevention of environmental problems.	SCSC	2007	DBLP BibTeX RDF	environmental, metereological conditions, precipitations, flooding, disaster
17	Mohammed El-Hajjar, Osamah Alamri, Lajos Hanzo	Layered Steered Space-Time Codes Using Iterative Detection.	SiPS	2007	DBLP DOI BibTeX RDF
17	Christopher Waters, Jonathan Howell, T. J. Jankun-Kelly	CluVis: dual-domain visual exploration of cluster/network metadata.	ACM Southeast Regional Conference	2007	DBLP DOI BibTeX RDF	clusters, information visualization, networks, metadata, visual analysis, security visualization
17	Gennaro Costagliola, Vittorio Fuccella, Massimiliano Giordano, Giuseppe Polese	Logging and Visualization of Learner Behaviour in Web-Based E-Testing.	ICWL	2007	DBLP DOI BibTeX RDF
17	S. D. Samantaray	A Data mining approach for resolving cases of Multiple Parsing in Machine Aided Translation of Indian Languages.	ITNG	2007	DBLP DOI BibTeX RDF
17	S. Akshay 0001, Madhavan Mukund, K. Narayan Kumar	Checking Coverage for Infinite Collections of Timed Scenarios.	CONCUR	2007	DBLP DOI BibTeX RDF
17	Michele Gallo, Luigi D'Ambra	Nonlinear Constrained Principal Component Analysis in the Quality Control Framework.	GfKl	2007	DBLP DOI BibTeX RDF
17	David Harel	Playing with Verification, Planning and Aspects: Unusual Methods for Running Scenario-Based Programs.	CAV	2006	DBLP DOI BibTeX RDF
17	Nathan A. Carr, Jared Hoberock, Keenan Crane, John C. Hart	Rectangular multi-chart geometry images.	Symposium on Geometry Processing	2006	DBLP DOI BibTeX RDF	geometry images, mesh parameterization, face clustering, texture atlas
17	Tien-Hsiung Weng, Hsiao-Hsi Wang, Tsung-Ying Wu, Ching-Hsien Hsu, Kuan-Ching Li	Design and Implementation of a Performance Analysis and Visualization Toolkit for Cluster Environments.	ICHIT	2006	DBLP DOI BibTeX RDF	SPICE3, MPI, OpenMP, Program Representation, Cluster Systems
17	John D. DeHart, Fred Kuhns, Jyoti Parwatikar, Jonathan S. Turner, Charlie Wiseman, Ken Wong	The open network laboratory.	SIGCSE	2006	DBLP DOI BibTeX RDF	experimental computer science, education, real-time displays
17	Sandra Carberry, Stephanie Elzer, Seniz Demir	Information graphics: an untapped resource for digital libraries.	SIGIR	2006	DBLP DOI BibTeX RDF	multimedia, summarization, graphics, Bayesian reasoning
17	Alberto Tarable, Guido Montorsi, Sergio Benedetto	A linear front end for iterative soft interference cancellation and decoding in coded CDMA.	IEEE Trans. Wirel. Commun.	2005	DBLP DOI BibTeX RDF
17	Kun Zhou 0001, Xi Wang, Yiying Tong, Mathieu Desbrun, Baining Guo, Heung-Yeung Shum	TextureMontage.	ACM Trans. Graph.	2005	DBLP DOI BibTeX RDF	content-based metric, geometry-based metric, texture mapping, parametrization
17	Amir Messih, Silvanus T. Enns	Planning and control for a warranty service facility.	WSC	2005	DBLP DOI BibTeX RDF
17	Sebastian Müller 0003, Arno Schödl	A Smart Algorithm for Column Chart Labeling.	Smart Graphics	2005	DBLP DOI BibTeX RDF
17	Xuandong Li, Jun Hu, Lei Bu, Jianhua Zhao, Guoliang Zheng	Consistency Checking of Concurrent Models for Scenario-Based Specifications.	SDL Forum	2005	DBLP DOI BibTeX RDF
17	Kuan-Ching Li, Hsun-Chang Chang, Chao-Tung Yang, Liria Matsumoto Sato, Chung-Yuan Yang, Yin-Yi Wu, Mao-Yueh Pel, Hsiang-Kai Liao, Min-Chieh Hsieh, Chia-Wen Tsai	On Construction of a Visualization Toolkit for MPI Parallel Programs in Cluster Environments.	AINA	2005	DBLP DOI BibTeX RDF
17	Maki K. Rashid, Zahi A. Khalil	Configuration Design and Intelligent Stepping of a Spherical Motor in Robotic Joint.	J. Intell. Robotic Syst.	2004	DBLP DOI BibTeX RDF	robot wrist, spherical motor, robotic joint, fuzzy control
17	Bill Mitchell	Inherent Causal Orderings of Partial Order Scenarios.	ICTAC	2004	DBLP DOI BibTeX RDF
17	Priyatam Kumar, R. M. Banakar, B. Shankaranand	M-BCJR Based Turbo Equalizer.	CIT	2004	DBLP DOI BibTeX RDF
17	Sérgio G. Araújo, Antonio Carneiro de Mesquita Filho, Aloysio Pedroza	A Scenario-Based Approach to Protocol Design Using Evolutionary Techniques.	EvoWorkshops	2004	DBLP DOI BibTeX RDF
17	Alessandra Cavarra, Juliana Küster Filipe	Formalizing Liveness-Enriched Sequence Diagrams Using ASMs.	Abstract State Machines	2004	DBLP DOI BibTeX RDF
17	Johannes Dirnberger, Michael Giretzlehner, Thomas Luckeneder, Doris Siegl, Herbert L. Haller, Christian Rodemund	BurnCase 3D - Realistic Adaptation of 3-Dimensional Human Body Models.	MICCAI (2)	2004	DBLP DOI BibTeX RDF
17	Tewfik Ziadi, Loïc Hélouët, Jean-Marc Jézéquel	Revisiting Statechart Synthesis with an Algebraic Approach.	ICSE	2004	DBLP DOI BibTeX RDF
17	Truman M. Jolley, David J. Kasik, Tammy R. Ben	Governing Software Product Lines and Reorganizations.	SPLC	2004	DBLP DOI BibTeX RDF
17	Juliana Küster Filipe	Giving Life to Agent Interactions.	Objects, Agents, and Features	2003	DBLP DOI BibTeX RDF
17	Abhik Roychoudhury, P. S. Thiagarajan	Communicating Transaction Processes: An MSC-Based Model of Computation for Reactive Embedded Systems.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
17	Abhik Roychoudhury, P. S. Thiagarajan	Communicating Transaction Processes.	ACSD	2003	DBLP DOI BibTeX RDF
17	Sita Ramakrishnan	VISWAS and on Diagnosability with IEEE Std P1522 and UML2.0 Testing Profile.	FATES	2003	DBLP DOI BibTeX RDF
17	Abhik Roychoudhury	Depiction and Playout of Multi-threaded Program Executions.	ASE	2003	DBLP DOI BibTeX RDF
17	Walter H. Gerstle	Toward a Meta-Model for Computational Engineering.	Eng. Comput.	2002	DBLP DOI BibTeX RDF	Fiber bundle, Model, Topology, Finite element, Meta-model, Function, Manifold, Computational engineering, Field, Chart, Atlas
17	Louise Lorentsen, Antti-Pekka Tuovinen, Jianli Xu	Modelling of Features and Feature Interactions in Nokia Mobile Phones Using Coloured Petri Nets.	ICATPN	2002	DBLP DOI BibTeX RDF
17	Amod Damle	Explain Me Visually: Exploring Information Design through Multimedia.	IV	2002	DBLP DOI BibTeX RDF
17	Markus Lohrey, Anca Muscholl	Bounded MSC Communication.	FoSSaCS	2002	DBLP DOI BibTeX RDF
17	Ba Tu Truong, Svetha Venkatesh, Chitra Dorai	Application of computational media aesthetics methodology to extracting color semantics in film.	ACM Multimedia	2002	DBLP DOI BibTeX RDF
17	Jan Wieghardt, Rolf P. Würtz, Christoph von der Malsburg	Learning the Topology of Object Views.	ECCV (4)	2002	DBLP DOI BibTeX RDF	view sphere, correspondence maps, learning, Object recognition, pose estimation
17	Eriola Kruja, Joe Marks, Ann Blair, Richard C. Waters	A Short Note on the History of Graph Drawing.	GD	2001	DBLP DOI BibTeX RDF
17	Yan Ping Zhou, Chew Lim Tan	Chart Analysis and Recognition in Document Images.	ICDAR	2001	DBLP DOI BibTeX RDF
17	Manoj Aggarwal, Narendra Ahuja	Camera Center Estimation.	ICPR	2000	DBLP DOI BibTeX RDF
17	Buthayna Eilouti, Emanuel-George Vakalo	Finite State Automata as Form-Generation and Visualization Tools.	IV	1999	DBLP DOI BibTeX RDF
17	Jeannette M. Wing, Amy Moormann Zaremski	Unintrusive Ways to Integrate Formal Specifications in Practice.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
17	Amir A. Amini, Terry E. Weymouth, Ramesh C. Jain	Using Dynamic Programming for Solving Variational Problems in Vision.	IEEE Trans. Pattern Anal. Mach. Intell.	1990	DBLP DOI BibTeX RDF	energy-minimizing active contours, discrete multistage decision process, optimization, computer vision, dynamic programming, dynamic programming, picture processing, machine vision, computational costs, variational techniques, variational problems
17	Grace Ruiz Little	Establishing a graphics standard.	SIGUCCS	1990	DBLP DOI BibTeX RDF
17	David A. Scanlan	A research tool for software design and documentation.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF
17	Ronald T. House	Thoughts on "Extended Pascal - Illustrative Examples".	ACM SIGPLAN Notices	1987	DBLP DOI BibTeX RDF	Pascal
17	Kenneth A. Hough, Larry R. Hart	Chart drawing: A simplified tool for improving computer system documentation.	SIGDOC	1982	DBLP DOI BibTeX RDF
15	Fulvio Corno, Muhammad Sanaullah	Formal Verification of Device State Chart Models.	Intelligent Environments	2011	DBLP DOI BibTeX RDF	Model Checking, Formal Verification, Smart Home, Intelligent Environment, State Charts
15	Seyedeh Zahra Hosseinifard, Mali Abdollahian	A Supervised Learning Method in Monitoring Linear Profile.	ITNG	2010	DBLP DOI BibTeX RDF	Linear Profile, Phase II, Artificial Neural Networks, Calibration, Statistical Process Control, Control Charts
15	Ankit Goel, Abhik Roychoudhury, P. S. Thiagarajan	Interacting process classes.	ACM Trans. Softw. Eng. Methodol.	2009	DBLP DOI BibTeX RDF	Abstract execution, Unified Modeling Language (UML), message sequence charts, active objects
15	Sergiy Boroday, Alexandre Petrenko, Andreas Ulrich	Implementing MSC Tests with Quiescence Observation.	TestCom/FATES	2009	DBLP DOI BibTeX RDF	sound tests, test implementations, fault detection power, Message Sequence Charts, Distributed testing
15	Greg Niemeyer, Antero Garcia, Reza Naima	Black cloud: patterns towards da future.	ACM Multimedia	2009	DBLP DOI BibTeX RDF	C02, John Dewey, SMS text messaging, VOC, climate sensing, interactive art, situated learning, high school, charts, public art, alternate reality game
15	Sabrina A. Panëels, Jonathan C. Roberts, Peter J. Rodgers	Haptic Interaction Techniques for Exploring Chart Data.	HAID	2009	DBLP DOI BibTeX RDF	Haptic Visualization, Haptic Interaction Techniques, Haptic Scatter Plots, Haptic Line Charts
15	Jirí Hýsek, Milan Ceska 0001, Vladimír Janousek	Model-Based Design and Verification of Reactive Systems.	EUROCAST	2009	DBLP DOI BibTeX RDF	formal verification, reactive systems, model-based design, state charts
15	David Lo 0001, Shahar Maoz	Mining Hierarchical Scenario-Based Specifications.	ASE	2009	DBLP DOI BibTeX RDF	live sequence charts, specification mining
15	Edzard Höfig, Hakan Coskun	Intrinsic Monitoring Using Behaviour Models in IPv6 Networks.	MACE	2009	DBLP DOI BibTeX RDF	Intrinsic Monitoring, IPv6 Extension Headers, Network Management, IPv6, Autonomic Communication, Behaviour Model, State Charts
15	Olgierd Hryniewicz	Statistics with fuzzy data in statistical quality control.	Soft Comput.	2008	DBLP DOI BibTeX RDF	Acceptance sampling, Fuzzy sets, Statistical process control, Control charts, Statistical quality control
15	Ofir Weber, Yohai S. Devir, Alexander M. Bronstein, Michael M. Bronstein, Ron Kimmel	Parallel algorithms for approximation of distance maps on parametric surfaces.	ACM Trans. Graph.	2008	DBLP DOI BibTeX RDF	multiple charts, parallel algorithms, GPU, SIMD, geometry image, geodesic distances, fast marching, Eikonal equation
15	R. Venky, Ulka Shrotri, Aniket Kulkarni, Prasad Bokil	STATEMATE to SCADE model translation.	ISEC	2008	DBLP DOI BibTeX RDF	SCADE, activity charts, model, translation, statecharts, transitions, state, reaction, STATEMATE
15	David Lo 0001, Shahar Maoz	Hierarchical inter-object traces for specification mining.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	uml sequence diagram, live sequence charts, specification mining, object hierarchy
15	Thomas Porathe, Johannes Prison	Design of human-map system interaction.	CHI Extended Abstracts	2008	DBLP DOI BibTeX RDF	3-d nautical charts, maritime human factors, map design
15	David Harel, Itai Segall, Hillel Kugler, Yaki Setty	Crafting game-models using reactive system design.	Future Play	2008	DBLP DOI BibTeX RDF	simulators, game design, statecharts, systems biology, live sequence charts
15	Yoram Atir, David Harel	Using LSCs for scenario authoring in tactical simulators.	SCSC	2007	DBLP BibTeX RDF	live sequence charts (LSCs), scenario authoring, tactical simulators, end-user programming, behavioral specification
15	Sandeep R. Patil	Accessible image file formats: the need and the way (position paper).	W4A	2007	DBLP DOI BibTeX RDF	flow charts, innovative technique, design, accessibility, images, visually impaired, graphics, blind, dyslexia, pictures