Search results for "transition"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Seiji Kajihara, Shohei Morishima, Masahiro Yamamoto, Xiaoqing Wen, Masayasu Fukunaga, Kazumi Hatayama, Takashi Aikyo	Estimation of delay test quality and its application to test generation.	ICCAD	2007	DBLP DOI BibTeX RDF
15	Ravikishore Gandikota, Kaviraj Chopra, David T. Blaauw, Dennis Sylvester, Murat R. Becer, Joao Geada	Victim alignment in crosstalk aware timing analysis.	ICCAD	2007	DBLP DOI BibTeX RDF
15	Kedarnath J. Balakrishnan, Lei Fang	RTL Test Point Insertion to Reduce Delay Test Volume.	VTS	2007	DBLP DOI BibTeX RDF
15	Qingguang Ji, Sihan Qing, Yeping He	A formal model for integrity protection based on DTE technique.	Sci. China Ser. F Inf. Sci.	2006	DBLP DOI BibTeX RDF	integrity policy, information flow, formal model, type, domain
15	Chang-Shing Perng, Haixun Wang, Sheng Ma	Fast Relevance Discovery in Time Series.	ICDM	2006	DBLP DOI BibTeX RDF
15	Andreas Glausch, Wolfgang Reisig	How Expressive Are Petri Net Schemata?.	ICATPN	2006	DBLP DOI BibTeX RDF
15	Lars Frantzen, Jan Tretmans, Tim A. C. Willemse	A Symbolic Framework for Model-Based Testing.	FATES/RV	2006	DBLP DOI BibTeX RDF
15	Dmitry Nerukh, George Karvounis, Robert C. Glen	Dynamic Complexity of Chaotic Transitions in High-Dimensional Classical Dynamics: Leu-Enkephalin Folding.	CompLife	2006	DBLP DOI BibTeX RDF	enkephalin, dynamic complexity, folding, computational mechanics
15	Bing Han 0003, Xinbo Gao 0001, Hongbing Ji	A Novel Feature Weighted Clustering Algorithm Based on Rough Sets for Shot Boundary Detection.	FSKD	2006	DBLP DOI BibTeX RDF
15	Won Kim 0002, HyoJong Jang, Gye-Young Kim	Transmission Rate Prediction of VBR Motion Image Using the Kalman Filter.	ICCSA (2)	2006	DBLP DOI BibTeX RDF
15	Karel Sladký	Risk-Sensitive Optimality Criteria in Markov Decision Processes.	OR	2006	DBLP DOI BibTeX RDF
15	Yong Ching Lim, Rui Yang 0002	On the synthesis of very sharp decimators and interpolators using the frequency-response masking technique.	IEEE Trans. Signal Process.	2005	DBLP DOI BibTeX RDF
15	Yair Bartal, Nathan Linial, Manor Mendel, Assaf Naor	Some Low Distortion Metric Ramsey Problems.	Discret. Comput. Geom.	2005	DBLP DOI BibTeX RDF
15	T. M. Mak	Limitation of structural scan delay test.	Asian Test Symposium	2005	DBLP DOI BibTeX RDF
15	Lionel C. Briand, Yvan Labiche, Q. Lin	Improving Statechart Testing Criteria Using Data Flow Information.	ISSRE	2005	DBLP DOI BibTeX RDF
15	Keijo Heljanko, Alin Stefanescu	Complexity Results for Checking Distributed Implementability.	ACSD	2005	DBLP DOI BibTeX RDF
15	Byron Cook, Andreas Podelski, Andrey Rybalchenko	Abstraction Refinement for Termination.	SAS	2005	DBLP DOI BibTeX RDF
15	Yongyun Cho, Joohyun Han, Jaeyoung Choi, Chae Woo Yoo	A uWDL Handler for Context-Aware Workflow Services in Ubiquitous Computing Environments.	EUC Workshops	2005	DBLP DOI BibTeX RDF
15	Xinbo Gao 0001, Bing Han 0003, Hongbing Ji	A Shot Boundary Detection Method for News Video Based on Rough Sets and Fuzzy Clustering.	ICIAR	2005	DBLP DOI BibTeX RDF
15	Saad Haj Bakry	Development of e-government: a STOPE view.	Int. J. Netw. Manag.	2004	DBLP DOI BibTeX RDF
15	Mahesh Viswanathan 0001, Ramesh Viswanathan	A Higher Order Modal Fixed Point Logic.	CONCUR	2004	DBLP DOI BibTeX RDF
15	Qingwei Wu, Michael S. Hsiao	Efficient ATPG for Design Validation Based On Partitioned State Exploration Histories.	VTS	2004	DBLP DOI BibTeX RDF
15	Eleni Stroulia, Mohammad El-Ramly, Paul Iglinski, Paul G. Sorenson	User Interface Reverse Engineering in Support of Interface Migration to the Web.	Autom. Softw. Eng.	2003	DBLP DOI BibTeX RDF	legacy-system reengineering, interface reengineering, clustering, reverse engineering, user-interface migration
15	Youngsung Soh	A New Video Segmentation Method Using Variable Interval Frame Differencing for Digital Video Library Applications.	ICADL	2003	DBLP DOI BibTeX RDF
15	Fernando Arroyo, Juan Castellanos, Carmen Luengo, Luis F. Mingo	A Binary Data Structure for Membrane Processors: Connectivity Arrays.	Workshop on Membrane Computing	2003	DBLP DOI BibTeX RDF
15	Paul-Peter Sotiriadis, Anantha P. Chandrakasan	A bus energy model for deep submicron technology.	IEEE Trans. Very Large Scale Integr. Syst.	2002	DBLP DOI BibTeX RDF
15	Sambuddhi Hettiaratchi, Peter Y. K. Cheung, Thomas J. W. Clarke	Energy efficient address assignment through minimized memory row switching.	ICCAD	2002	DBLP DOI BibTeX RDF	address assignment, data layout, memory synthesis
15	Martin Lange	Local Model Checking Games for Fixed Point Logic with Chop.	CONCUR	2002	DBLP DOI BibTeX RDF
15	Cristian Sminchisescu, Bill Triggs	Building Roadmaps of Local Minima of Visual Models.	ECCV (1)	2002	DBLP DOI BibTeX RDF	3D human tracking, global optimization, Model based vision, saddle points
15	Sebastian Link	Towards a Tailored Theory of Consistency Enforcement in Databases.	FoIKS	2002	DBLP DOI BibTeX RDF
15	Ernest H. Page, Marc Abrams	Simulation Model Development and Analysis in UNITY.	Ann. Oper. Res.	2001	DBLP DOI BibTeX RDF	simulation specification, simulation verification, parallel simulation protocols, UNITY
15	David Gamarnik	On deciding stability of constrained random walks and queueing systems.	SIGMETRICS Perform. Evaluation Rev.	2001	DBLP DOI BibTeX RDF
15	Irith Pomeranz, Sudhakar M. Reddy	On diagnosis and diagnostic test generation for pattern-dependenttransition faults.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2001	DBLP DOI BibTeX RDF
15	Robert Eschbach	A Verification Approach for Distributed Abstract State Machines.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
15	Luca Alberucci	Strictness of the Modal µ-Calculus Hierarchy.	Automata, Logics, and Infinite Games	2001	DBLP DOI BibTeX RDF
15	Costas C. Pantelides	Optimisation of Hybrid Processes and Hybrid Controllers.	HSCC	2001	DBLP DOI BibTeX RDF
15	Janis Buls, Vaira Buza, Roberts Glaudins	Representation of Autonomous Automata.	FCT	2001	DBLP DOI BibTeX RDF
15	Ananta K. Majhi, V. D. Agrawak, James Jacob, Lalit M. Patnaik	Line coverage of path delay faults.	IEEE Trans. Very Large Scale Integr. Syst.	2000	DBLP DOI BibTeX RDF
15	Gianpiero Cabodi, Paolo Camurati, Stefano Quer	Improving symbolic reachability analysis by means of activityprofiles.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2000	DBLP DOI BibTeX RDF
15	Armando J. Pinho	A JBIG-based approach to the encoding of contour maps.	IEEE Trans. Image Process.	2000	DBLP DOI BibTeX RDF
15	Gian Luca Cattani, Peter Sewell	Models for Name-Passing Processes: Interleaving and Causal.	LICS	2000	DBLP DOI BibTeX RDF
15	Cristian Coarfa, Demetrios D. Demopoulos, Alfonso San Miguel Aguirre, Devika Subramanian, Moshe Y. Vardi	Random 3-SAT: The Plot Thickens.	CP	2000	DBLP DOI BibTeX RDF
15	Preeti Ranjan Panda, Nikil D. Dutt	Low-power memory mapping through reducing address bus activity.	IEEE Trans. Very Large Scale Integr. Syst.	1999	DBLP DOI BibTeX RDF
15	Sumant Ramprasad, Naresh R. Shanbhag, Ibrahim N. Hajj	A coding framework for low-power address and data busses.	IEEE Trans. Very Large Scale Integr. Syst.	1999	DBLP DOI BibTeX RDF
15	Chiara Bodei, Pierpaolo Degano, Corrado Priami	Constructing Specific SOS Semantics for Concurrency via Abstract Interpretation.	SAS	1998	DBLP DOI BibTeX RDF	SOS semantics, non-interleaving descriptions, Concurrency, abstract interpretation, causality
15	Christel Baier, Holger Hermanns	Weak Bisimulation for Fully Probabilistic Processes.	CAV	1997	DBLP DOI BibTeX RDF
15	Masami Noro, Kunio Goto	An Architecture and a Framework for IP Applications.	APSEC	1997	DBLP DOI BibTeX RDF	IP application, Software Architecture, Object-Oriented Application Framework
15	Hiroshi Takahashi, Kwame Osei Boateng, Yuzo Takamatsu, Toshiyuki Matsunaga	A Method of Generating Tests for Marginal Delays an Delay Faults in Combinational Circuits.	Asian Test Symposium	1997	DBLP DOI BibTeX RDF	marginal delay, test generation, combinational circuit, gate delay faults
15	Charles Lakos	The Consistent Use of Names and Polymorphism in the Definition of Object Petri Nets.	Application and Theory of Petri Nets	1996	DBLP DOI BibTeX RDF	Theory of High-Level Petri Nets, Multiple Levels of Abstraction, Object-Orientation
15	Inhye Kang, Insup Lee 0001	An Efficient State Space Generation for Analysis of Real-Time Systems.	ISSTA	1996	DBLP DOI BibTeX RDF
15	Edmund M. Clarke	Automatic Verification of Finite-state Concurrent Systems.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF
15	Kyung-Hoon Kwon, Kukjin Kang, Jong-Hoon Oh	Generalization in Partially Connected Layered Neural Networks.	COLT	1994	DBLP DOI BibTeX RDF
15	Susanne Graf, Bernhard Steffen	Compositional Minimization of Finite State Systems.	CAV	1990	DBLP DOI BibTeX RDF
14	Kerstin Bauer, Klaus Schneider 0001	From synchronous programs to symbolic representations of hybrid systems.	HSCC	2010	DBLP DOI BibTeX RDF	symbolic representation of transition systems, hybrid systems, synchronous languages
14	Avi Soffer, Dov Dori	Bridging the requirements-implementation modeling gap with object-process methodology.	Innov. Syst. Softw. Eng.	2009	DBLP DOI BibTeX RDF	Transition from specification to design, Model-driven development
14	Leo Freitas, Jim Woodcock 0001	FDR Explorer.	Formal Aspects Comput.	2009	DBLP DOI BibTeX RDF	Model checking, Refinement, CSP, Automata, Labelled transition systems, FDR
14	Ivo Krka, Yuriy Brun, George Edwards, Nenad Medvidovic	Synthesizing partial component-level behavior models from system specifications.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	behavior model synthesis, modal transition systems, constraints, scenarios, partial specifications
14	Nicolas Rapin	Symbolic Execution Based Model Checking of Open Systems with Unbounded Variables.	TAP@TOOLS	2009	DBLP DOI BibTeX RDF	Input Output Symbolic Transition Systems, Verification, Symbolic Execution, Linear Temporal Logic
14	Ralph Ewerth, Bernd Freisleben	Unsupervised Detection of Gradual Video Shot Changes with Motion-Based False Alarm Removal.	ACIVS	2009	DBLP DOI BibTeX RDF	gradual transition detection, gradual video shot changes, video retrieval, Video indexing, shot boundary detection
14	Serge Parshutin, Arkady Borisov	Agents Based Data Mining and Decision Support System.	ADMI	2009	DBLP DOI BibTeX RDF	Forecasting Transition Points, Data Mining, Software Agents, Decision Support
14	Isaac Corro Ramos, Alessandro Di Bucchianico, Lusine Hakobyan, Kees M. van Hee	Model Driven Testing Based on Test History.	Trans. Petri Nets Other Model. Concurr.	2008	DBLP DOI BibTeX RDF	Petri nets, software testing, transition systems, stopping criterion
14	Marc Frappier, Frédéric Gervais, Régine Laleau, Benoît Fraikin, Richard St-Denis	Extending statecharts with process algebra operators.	Innov. Syst. Softw. Eng.	2008	DBLP DOI BibTeX RDF	EB3, Information systems, Process algebras, Statecharts, State transition diagrams
14	Xiaoming Wang, Qiaoliang Li, Naixue Xiong, Yi Pan 0001	Ant Colony Optimization-Based Location-Aware Routing for Wireless Sensor Networks.	WASA	2008	DBLP DOI BibTeX RDF	simulation, WSN, routing, pheromone, ACO, transition probability
14	Paolo Greci, Fabio Martinelli, Ilaria Matteucci	A Framework for Contract-Policy Matching Based on Symbolic Simulations for Securing Mobile Device Application.	ISoLA	2008	DBLP DOI BibTeX RDF	Contract-policy matching, symbolic transition systems, mobile application, simulation relation
14	Kuljaree Tantayakul, Sinchai Kamolphiwong, Touchai Angchuan	IPv6@HOME.	Mobility Conference	2008	DBLP DOI BibTeX RDF	DDNSv6, IPv6, home network, IPv6 transition
14	Dario Fischbein, Sebastián Uchitel	On correct and complete strong merging of partial behaviour models.	SIGSOFT FSE	2008	DBLP DOI BibTeX RDF	modal transition systems, partial behaviour models, merge, elaboration
14	Lei Xie 0001, Xi Tan	A Heuristic Approach to Caption Enhancement for Effective Video OCR.	ICIC (1)	2008	DBLP DOI BibTeX RDF	caption transition detection, caption enhancement, video retrieval, multimedia retrieval, Video OCR
14	Shoichi Nakamura, Miho Watanabe, Atsuo Hazeyama, Setsuo Yokoyama, Youzou Miyadera	A Discussion Model for System Design Novices.	KES (3)	2008	DBLP DOI BibTeX RDF	discussion model, discussion state transition, discussion support, system development education, system design
14	Maciej Zurawski, Alan Smaill, Dave Robertson 0001	Bounded Ontological Consistency for Scalable Dynamic Knowledge Infrastructures.	ASWC	2008	DBLP DOI BibTeX RDF	Semantic autonomy, rule-based process modelling, phase transition, ontology evolution, ontology management, bounded consistency
14	Natalie Shlomo, Caroline Young	Invariant Post-tabular Protection of Census Frequency Counts.	Privacy in Statistical Databases	2008	DBLP DOI BibTeX RDF	Invariantprobability transition matrix, Microdata keys, Consistency, Additivity
14	Irith Pomeranz, Sudhakar M. Reddy	Expanded Definition of Functional Operation Conditions and its Effects on the Computation of Functional Broadside Tests.	VTS	2008	DBLP DOI BibTeX RDF	functional broadside tests, test generation, transition faults, reachable states, full-scan circuits
14	Dong-Shong Liang, Kwang-Jow Gan	New D-Type Flip-Flop Design Using Negative Differential Resistance Circuits.	DELTA	2008	DBLP DOI BibTeX RDF	negative differential resistance(NDR), monostable-bistable transition logic elements(MOBILE)
14	Jyotishman Pathak, Samik Basu 0001, Vasant G. Honavar	Composing Web Services through Automatic Reformulation of Service Specifications.	IEEE SCC (1)	2008	DBLP DOI BibTeX RDF	Web Services, Composition, Labeled Transition Systems, Reformulation
14	Hassan Reza, Emanuel S. Grant	A method to test concurrent systems using architectural specification.	J. Supercomput.	2007	DBLP DOI BibTeX RDF	Hierarchical Predicate Transition Nets (HPrTNs), Software architecture, Software testing, Architectural Description Languages (ADLs), Concurrent systems
14	Wang-Dauh Tseng	Generation of Primary Input Blocking Pattern for Power Minimization during Scan Testing.	J. Electron. Test.	2007	DBLP DOI BibTeX RDF	transition density, switching activity during test, clique, low power testing, full scan
14	Rhyd Lewis	Metaheuristics can solve sudoku puzzles.	J. Heuristics	2007	DBLP DOI BibTeX RDF	Metaheuristics, Phase-transition, Puzzles, Sudoku
14	Lihua Duan, Jessica Chen	A Formal Approach to Website Maintenance.	HASE	2007	DBLP DOI BibTeX RDF	reverse engineering, formal verification, labelled transition systems, tree automata
14	Heiko Ludwig, Kamal Bhattacharya, Thomas Setzer	A Layered Service Process Model for Managing Variation and Change in Service Provider Operations.	WISE	2007	DBLP DOI BibTeX RDF	Variation Management, Service Transition, Service Workflow Management, Service Process Evolution, Change Management
14	Viknashvaran Narayanasamy, Kok Wai Wong	Mapping resources to state functions in massively multiplayer online games.	DIMEA	2007	DBLP DOI BibTeX RDF	state transition functions, games, resources, MMOG, states
14	Ekaterina Kirik, Tat'yana Yurgel'yan, Dmitriy Krouglov	An intelligent floor field cellular automation model for pedestrian dynamics.	SCSC	2007	DBLP BibTeX RDF	intellectual analysis, pedestrian dynamics, cellular automata, transition probabilities
14	Tek-Jin Nam	Collaborative Design Prototyping Tool for Hardware Software Integrated Information Appliances.	HCI (14)	2007	DBLP DOI BibTeX RDF	Information Appliance Design, Hardware Software Integration, Augmented Reality, Prototyping, Collaborative Design, State Transition
14	Alain Faivre, Christophe Gaston, Pascale Le Gall	Symbolic Model Based Testing for Component Oriented Systems.	TestCom/FATES	2007	DBLP DOI BibTeX RDF	ioco-based conformance testing, input/output symbolic transition system, symbolic execution, component based system
14	Martin Kero, Johan Nordlander, Per Lindgren	A correct and useful incremental copying garbage collector.	ISMM	2007	DBLP DOI BibTeX RDF	incremental copying garbage collection, labeled transition system
14	Ahmad A. Al-Yamani, Narendra Devta-Prasanna, Arun Gunda	Systematic Scan Reconfiguration.	ASP-DAC	2007	DBLP DOI BibTeX RDF	systematic scan reconfiguration, test data compression technique, single-stuck fault test sets, transition fault test sets, scan chains
14	A. V. S. Rajan, S. Bavan, Geetha Abeysinghe	Semantics for the Specification of Asynchronous Communicating Systems (SACS).	SCSS (1)	2007	DBLP DOI BibTeX RDF	Calculus of Communicating Systems (CCS), Synchronous Calculus of Communicating Systems (SCCS), Structured Operational Semantics (SOS), Labelled Transition System (LTS), bisimulation
14	Ming Chen 0003, Lingbo Pei, Wen Liang	Three propositions about distributions of network traffic.	SpringSim (1)	2007	DBLP BibTeX RDF	double-mode transition model, internet structure, self-similarity, network traffic, Poisson distribution
14	Robert O. Briggs, Alanah J. Davis, John D. Murphy, Lucas Steinhauser, Thomas F. Carlisle	Transferring a Collaborative Work Practice to Practitioners: A Field Study of the Value Frequency Model for Change-of-Practice.	CRIWG	2007	DBLP DOI BibTeX RDF	change of practice, value frequency model, adoption, diffusion, transition, organizational change, acceptance, Collaboration engineering
14	Alessandro Fantechi, Stefania Gnesi	A behavioural model for product families.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	modal transition systems, software families, product lines
14	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
14	Antoine Rollet, Fares Saad-Khorchef	A Formal Approach to Test the Robustness of Embedded Systems using Behaviour Analysis.	SERA	2007	DBLP DOI BibTeX RDF	Robustness relations, Timed Automata, Labelled Transition Systems, Robustness Testing
14	Walter Dosch	Extending the Service Domain of Interactive Components.	SERA	2007	DBLP DOI BibTeX RDF	Interactive component, input/output behaviour, stream function, service, state transition machine
14	Anjana Jain, Raksha Upadhyay, Prakash D. Vyavahare, L. D. Arya	Stochastic Modeling and Performance Evaluation of Fading Channel for Wireless Network Design.	AINA Workshops (2)	2007	DBLP DOI BibTeX RDF	Statistical model of fading channel, level crossing rate, fade duration, transition rate, outage time, satisfactory state, BER, SNR
14	Jules Desharnais, Bernhard Möller, Georg Struth	Kleene algebra with domain.	ACM Trans. Comput. Log.	2006	DBLP DOI BibTeX RDF	Idempotent semiring, codomain, image and preimage operation, program development and analysis, domain, Kleene algebra, equational reasoning, state transition systems
14	Birsen Sirkeci-Mergen, Anna Scaglione, Gökhan Mergen	Asymptotic analysis of multistage cooperative broadcast in wireless networks.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF	limiting behavior of dense networks, multihop diversity, wireless networks, broadcast, phase transition, cooperative communication, continuum
14	Guangsheng Zhang, Fuqiang Meng, Changjun Jiang, Jian Pang	Using Petri Net to Reason with Rule and OWL.	CIT	2006	DBLP DOI BibTeX RDF	SWRL rule, Ontology, Semantic Web, OWL, Reasoning, Predicate/Transition nets
14	Christophe Damas, Bernard Lambeau, Axel van Lamsweerde	Scenarios, goals, and state machines: a win-win partnership for model synthesis.	SIGSOFT FSE	2006	DBLP DOI BibTeX RDF	scenario-based elicitation, synthesis of behavior models, incremental learning, labelled transition systems, message sequence charts, goal-oriented requirements engineering, analysis tools, scenario generation
14	Jae-woo Chung, G. Scott Vercoe	The affective remixer: personalized music arranging.	CHI Extended Abstracts	2006	DBLP DOI BibTeX RDF	affective-state-transition model, automated music- arranging, affective computing, music
14	Doina Logofatu, Rolf Drechsler	Efficient Evolutionary Approaches for the Data Ordering Problem with Inversion.	EvoWorkshops	2006	DBLP DOI BibTeX RDF	Data Ordering Problem, Transition Minimization, Optimization, Complexity, Low Power, Evolutionary Algorithms, Graph Theory, Digital Circuit Design
14	Geir Kjetil Hanssen, Tor Erlend Fægri	Agile customer engagement: a longitudinal qualitative case study.	ISESE	2006	DBLP DOI BibTeX RDF	customer engagement, process transition, stakeholder management, agile process
14	Toni Jussila, Keijo Heljanko, Ilkka Niemelä	BMC via on-the-fly determinization.	Int. J. Softw. Tools Technol. Transf.	2005	DBLP DOI BibTeX RDF	Verification, Labeled transition system, Bounded model checking