|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2229 occurrences of 1088 keywords
|
|
|
Results
Found 3186 publication records. Showing 3186 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Antonio Cicchetti, Davide Di Ruscio, Alfonso Pierantonio |
Weaving concerns in model based development of data-intensive web applications. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
web applications, model transformations, abstract state machines, model weaving |
15 | András Balogh, Gergely Varró, Dániel Varró, András Pataricza |
Compiling model transformations to EJB3-specific transformer plugins. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
EJB 3.0, transformer plugins, model transformation, graph transformation, abstract state machines |
15 | Andreas Friesen, Egon Börger |
A high-level specification for Semantic Web Service Discovery Services. |
ICWE Workshops |
2006 |
DBLP DOI BibTeX RDF |
semantic web service, abstract state machines, semantic discovery |
15 | Andrei Kirshin, Dolev Dotan, Alan Hartman |
A UML Simulator Based on a Generic Model Execution Engine. |
MoDELS (Workshops) |
2006 |
DBLP DOI BibTeX RDF |
Model Debugger, UML, State Machines, Activities, Model Execution, Model Simulator |
15 | Michael Breen |
Experience of using a lightweight formal specification method for a commercial embedded system product line. |
Requir. Eng. |
2005 |
DBLP DOI BibTeX RDF |
Tabular notations, Embedded systems, Finite state machines, Lightweight formal methods, User interface specification |
15 | José Juan Pazos-Arias, Jorge García Duque, Martín López Nores |
Eliciting requirements and scenarios using the SCTL-MUS methodology: the shuttle system case study. |
ACM SIGSOFT Softw. Eng. Notes |
2005 |
DBLP DOI BibTeX RDF |
requirements, scenarios, state machines, incremental development |
15 | José Juan Pazos-Arias, Jorge García Duque, Martín López Nores |
Locating crosscutting concerns in the formal specification of distributed reactive systems. |
ACM SIGSOFT Softw. Eng. Notes |
2005 |
DBLP DOI BibTeX RDF |
requirements, aspects, state machines, crosscutting concerns, incremental development |
15 | Dimitrios Kagaris |
A unified method for phase shifter computation. |
ACM Trans. Design Autom. Electr. Syst. |
2005 |
DBLP DOI BibTeX RDF |
built-in self-test (BIST), cellular automata, linear feedback shift registers, Test pattern generation (TPG), linear finite state machines, phase shifters |
15 | Florentin Ipate |
Complete deterministic stream X-machine testing. |
Formal Aspects Comput. |
2004 |
DBLP DOI BibTeX RDF |
Formal specification, Testing, Finite state machines, Test set generation, Stream X-machines |
15 | Rajeev Alur, Radu Grosu |
Modular refinement of hierarchic reactive machines. |
ACM Trans. Program. Lang. Syst. |
2004 |
DBLP DOI BibTeX RDF |
refinement, compositional semantics, assume-guarantee reasoning, Hierarchical state machines |
15 | Mong-Li Lee, Boon Chin Chua, Wynne Hsu, Kian-Lee Tan |
Efficient evaluation of multiple queries on streaming XML data. |
CIKM |
2002 |
DBLP DOI BibTeX RDF |
regular path expressions, streaming XML, finite state machines |
15 | João Paulo Barros |
Specific proposals for the use of petri nets in a concurrent programming course. |
ITiCSE |
2002 |
DBLP DOI BibTeX RDF |
FSP, process algebra, state machines, introductory course, LTSA |
15 | Massimiliano Chiodo |
Optimization and synthesis for complex reactive embedded systems by incremental collapsing. |
CODES |
2002 |
DBLP DOI BibTeX RDF |
real-time systems, embedded systems, finite-state machines, software synthesis |
15 | Uwe Glässer, Yuri Gurevich, Margus Veanes |
High-Level Executable Specification of the Universal Plug and Play Architecture. |
HICSS |
2002 |
DBLP DOI BibTeX RDF |
distributed protocol architectures, abstract state machines, executable specifications |
15 | Kunihiko Hiraishi |
Synthesis of Supervisors Using Learning Algorithm of Regular Languages. |
Discret. Event Dyn. Syst. |
2001 |
DBLP DOI BibTeX RDF |
supervisor synthesis, incompletely specified finite-state machines, learning algorithm, concurrent systems, supervisory control |
15 | Matthias Anlauff, Samarjit Chakraborty, Philipp W. Kutter, Alfonso Pierantonio, Lothar Thiele |
Generating an action notation environment from Montages descriptions. |
Int. J. Softw. Tools Technol. Transf. |
2001 |
DBLP DOI BibTeX RDF |
Formal specification of programming languages, Generating programming environments and tools, Abstract state machines, Montages, Action semantics |
15 | Ryszard Janicki, Emil Sekerinski |
Foundations of the Trace Assertion Method of Module Interface Specification. |
IEEE Trans. Software Eng. |
2001 |
DBLP DOI BibTeX RDF |
Module interface specifications, trace assertion method, module refinement, tabular notation, state machines, nondeterminism, relational model, Mealy machines, step-sequences |
15 | H. G. Mendelbaum, Raphael B. Yehezkael |
Using 'Parallel Automaton' as a Single Notation to Specify, Design and Control Small Computer Based Systems. |
ECBS |
2001 |
DBLP DOI BibTeX RDF |
Extended Automata and Finite state Machines, Parallel Automata, CBS methodology, EFSM |
15 | Frank van Ham, Huub van de Wetering, Jarke J. van Wijk |
Visualization of State Transition Graphs. |
INFOVIS |
2001 |
DBLP DOI BibTeX RDF |
Clustering, Finite State Machines, Symmetry, Graph Visualization, Finite Automaton, State Transition Diagrams, Cone Trees |
15 | Jessica Chen, Suganthan Subramaniam |
A GUI Environment to Manipulate FSMs for Testing GUI-based Applications in Java. |
HICSS |
2001 |
DBLP DOI BibTeX RDF |
Java AWT and Swing, Finite state machines, Specification-based testing, Capture/Replay |
15 | Jakka Sairamesh, Ioana Stanoi, Chung-Sheng Li, Brad Topol |
Wireless trading in B2B markets: concepts, architecture, and experiences. |
Workshop Mobile Commerce |
2001 |
DBLP DOI BibTeX RDF |
state-machines and experimentation, performance, architecture, electronic commerce, auctions, WAP, mobile commerce, trading, transcoding proxy |
15 | Egon Börger, Wolfram Schulte |
A Practical Method for Specification and Analysis of Exception Handling - A Java/JVM Case Study. |
IEEE Trans. Software Eng. |
2000 |
DBLP DOI BibTeX RDF |
Java, compiler, Semantics, exception handling, Java Virtual Machine, correctness, abstract state machines |
15 | Florentin Ipate, Mike Holcombe |
Generating Test Sets from Non-Deterministic Stream X-Machines. |
Formal Aspects Comput. |
2000 |
DBLP DOI BibTeX RDF |
Testing, Finite state machines, Non-determinism, Test set generation, X-machines |
15 | Vincenza Carchiolo, Sebastiano D'Ambra, Alessandro Longheu, Michele Malgeri |
Issues in object orienting the ST Microelectronics manufacturing model. |
APSEC |
2000 |
DBLP DOI BibTeX RDF |
semiconductor device manufacture, ST Microelectronics manufacturing model, structured production model, semiconductor device manufacturing, production flow, finite state machines, finite state machine, inheritance, inheritance, object-oriented methods, manufacturing systems, computer integrated manufacturing, object-oriented approach |
15 | Zhe Dang, Richard A. Kemmerer |
Three approximation techniques for ASTRAL symbolic model checking of infinite state real-time systems. |
ICSE |
2000 |
DBLP DOI BibTeX RDF |
real-time systems, model checking, formal methods, state machines, timing requirements, formal specification and verification, ASTRAL |
15 | Christoph C. Michael, Anup K. Ghosh |
Two State-based Approaches to Program-based Anomaly Detection. |
ACSAC |
2000 |
DBLP DOI BibTeX RDF |
state-based approaches, program-based anomaly detection, intrusion detection algorithms, execution audit data, statistical deviation monitoring, finite state machines, finite-state machine, security of data, software performance evaluation, experimental results, auditing, n-grams, algorithm performance |
15 | Zhe Dang, Richard A. Kemmerer |
Using the ASTRAL Model Checker to Analyze Mobile IP. |
ICSE |
1999 |
DBLP DOI BibTeX RDF |
Encryption protocols, real-time systems, formal methods, state machines, timing requirements, formal specification and verification, ASTRAL |
15 | Leslie Lamport |
The Part-Time Parliament. |
ACM Trans. Comput. Syst. |
1998 |
DBLP DOI BibTeX RDF |
three-phase commit, voting, state machines |
15 | B. Neelakantan, S. V. Raghavan |
Scientific foundations to the multilevel method. |
IEEE/ACM Trans. Netw. |
1998 |
DBLP DOI BibTeX RDF |
finite state machines, black box testing, test sequence, test methods, protocol conformance testing |
15 | Arlindo L. Oliveira, Luca P. Carloni, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli |
Exact Minimization of Binary Decision Diagrams Using Implicit Techniques. |
IEEE Trans. Computers |
1998 |
DBLP DOI BibTeX RDF |
minimization of logic functions, incompletely specified finite state machines, implicit logic computations, Binary decision diagrams, incompletely specified functions, state minimization |
15 | Arcot Sowmya, S. Ramesh 0001 |
Extending Statecharts with Temporal Logic. |
IEEE Trans. Software Eng. |
1998 |
DBLP DOI BibTeX RDF |
FNLOG, real-time, formal specifications, robotics, Concurrency, temporal logic, specification languages, statecharts, reactive systems, state-machines |
15 | Gianpiero Cabodi, Paolo Camurati, Stefano Quer |
Auxiliary variables for BDD-based representation and manipulation of Boolean functions. |
ACM Trans. Design Autom. Electr. Syst. |
1998 |
DBLP DOI BibTeX RDF |
finite state machines, binary decision diagrams, reachability analysis, functional decompositions |
15 | Rob L. W. van de Weg, Rolf Engmann |
Coordination in information systems based on an object-oriented framework. |
SAC |
1998 |
DBLP DOI BibTeX RDF |
fault tolerance, object-orientation, coordination, finite state machines |
15 | Bor-Yuan Tsai, Simon Stobart, Norman Parrington, Ian Mitchell 0004 |
An Automatic Test Case Generator Derived from State-Based Testing. |
APSEC |
1998 |
DBLP DOI BibTeX RDF |
State Machines, Test Cases Generator, State-Based Testing, Class Testing |
15 | Luciano Lavagno |
System-Level Design Models and Implementation Techniques. |
ACSD |
1998 |
DBLP DOI BibTeX RDF |
finite state machines, formal models, system-level design, co-simulation, co-synthesis |
15 | Wilsin Gosti, Alberto L. Sangiovanni-Vincentelli, Tiziano Villa, Alexander Saldanha |
An Exact Input Encoding Algorithm for BDDs Representing FSMs. |
Great Lakes Symposium on VLSI |
1998 |
DBLP DOI BibTeX RDF |
input encoding, finite state machines, binary decision diagrams, multi-valued decision diagrams |
15 | Hasan Ural, Xiaolin Wu 0001, Fan Zhang 0001 |
On Minimizing the Lengths of Checking Sequences. |
IEEE Trans. Computers |
1997 |
DBLP DOI BibTeX RDF |
testing, Finite state machines, fault detection, checking experiments, checking sequences |
15 | Alberto Coen-Porisini, Carlo Ghezzi, Richard A. Kemmerer |
Specification of Realtime Systems Using ASTRAL. |
IEEE Trans. Software Eng. |
1997 |
DBLP DOI BibTeX RDF |
ASLAN, TRIO, Formal methods, temporal logic, assertions, state machines, composability, timing requirements, formal specification and verification, realtime systems |
15 | Irith Pomeranz, Sudhakar M. Reddy |
TEMPLATES: A Test Generation Procedure for Synchronous Sequential Circuits. |
Asian Test Symposium |
1997 |
DBLP DOI BibTeX RDF |
test generation, finite-state machines, templates, synchronous sequential circuits |
15 | Santonu Sarkar, Anupam Basu, Arun K. Majumdar |
Analyzing Controllability of a Hardware Circuit for its Reuse. |
VLSI Design |
1997 |
DBLP DOI BibTeX RDF |
hardware circuit controllability, external controllability, FSM model, finite state machines, finite state machine model |
15 | Kwang-Ting Cheng, A. S. Krishnakumar |
Automatic generation of functional vectors using the extended finite state machine model. |
ACM Trans. Design Autom. Electr. Syst. |
1996 |
DBLP DOI BibTeX RDF |
functional testing, automatic test generation, design verification, extended finite state machines |
15 | Anthony Cant, Katherine A. Eastaughffe, Maris A. Ozols |
A Tool for Practical Reasoning about State Machine Designs. |
Australian Software Engineering Conference |
1996 |
DBLP DOI BibTeX RDF |
verification, formal methods, temporal logic, state machines |
15 | Luca Benini, Patrick Vuillod, Claudionor José Nunes Coelho Jr., Giovanni De Micheli |
Synthesis of Low-Power Selectively-Clocked Systems from High-Level Specification. |
ISSS |
1996 |
DBLP DOI BibTeX RDF |
low power, High level synthesis, finite state machines, gated clocks |
15 | Li-wei He, Michael F. Cohen, David Salesin |
The Virtual Cinematographer: A Paradigm for Automatic Real-Time Camera Control and Directing. |
SIGGRAPH |
1996 |
DBLP DOI BibTeX RDF |
hierarchical finite state machines, screen acting, virtual environments, virtual worlds, cinematography, camera placement |
15 | Sofiène Tahar, Zijian Zhou 0001, Xiaoyu Song, Eduard Cerny, Michel Langevin |
Formal Verification of an ATM Switch Fabric using Multiway Decision Graphs. |
Great Lakes Symposium on VLSI |
1996 |
DBLP DOI BibTeX RDF |
ATM Switch Fabric, Safety Property Checking, Abstract State Machines, Hardware Verification, Multiway Decision Graphs |
15 | Maria J. Avedillo, José M. Quintana, José Luis Huertas |
Constrained state assignment of easily testable FSMs. |
J. Electron. Test. |
1995 |
DBLP DOI BibTeX RDF |
Finite state machines, synthesis for testability, state assignment |
15 | Ilana David, Ran Ginosar, Michael Yoeli |
Self-timed is self-checking. |
J. Electron. Test. |
1995 |
DBLP DOI BibTeX RDF |
finite state machines, asynchronous systems, combinational logic, self-checkings, self-timed |
15 | Jeannette M. Wing, Mandana Vaziri |
Model Checking Software Systems: A Case Study. |
SIGSOFT FSE |
1995 |
DBLP DOI BibTeX RDF |
abstraction mappings, distributed systems, model checking, verification, finite state machines, cache coherence protocols |
15 | Tan-Li Chou, Kaushik Roy 0001 |
Estimation of sequential circuit activity considering spatial and temporal correlations. |
ICCD |
1995 |
DBLP DOI BibTeX RDF |
sequential circuit activity estimation, signal activity, internal nodes, sequential logic circuits, logic signals, ESTG, extended state transition graph, exact signal probabilities, large circuits, state logic, logic simulation results, graph theory, finite state machines, finite state machine, sequential circuits, spatial correlations, circuit switching, switching activities, approximate method, temporal correlations |
15 | Gitanjali Swamy, Robert K. Brayton, Vigyan Singhal |
Incremental methods for FSM traversal. |
ICCD |
1995 |
DBLP DOI BibTeX RDF |
FSM traversal, formal verification, formal verification, finite state machines, finite state machine, logic design, directed graphs, logic CAD, incremental algorithms, digital systems, reachable states, incremental methods |
15 | M. Esen Tuna, Kamlesh Rath, Steven D. Johnson |
Specification and synthesis of bounded indirection. |
Great Lakes Symposium on VLSI |
1995 |
DBLP DOI BibTeX RDF |
bounded indirection, complex control structures, dynamic connections, control state indirection, value indirection, net indirection, behavior tables, data path descriptions, DMA controller, formal specification, high level synthesis, finite state machines, interrupts, interrupts, continuations, hardware description languages, hardware description languages, pointers, system specification, data flow computing, control system CAD |
15 | Enrico Macii, Massimo Poncino |
Using symbolic Rademacher-Walsh spectral transforms to evaluate the correlation between Boolean functions. |
Great Lakes Symposium on VLSI |
1995 |
DBLP DOI BibTeX RDF |
symbolic Rademacher-Walsh spectral transforms, integer-valued functions, transform matrices, spectral representations, function correlation, ADD-based algorithm, memory occupation, Boolean functions, Boolean functions, finite state machines, logic design, execution time, Walsh functions, transform domain, symbolic techniques |
15 | Chunduri Rama Mohan, Partha Pratim Chakrabarti |
Combined optimization of area and testability during state assignment of PLA-based FSM's. |
VLSI Design |
1995 |
DBLP DOI BibTeX RDF |
combined optimization, testability optimisation, PLA-based FSM, EARTH algorithm, single cross-point faults, redundancy checker, fault diagnosis, logic testing, redundancy, finite state machines, integrated circuit testing, design for testability, fault model, logic CAD, programmable logic arrays, circuit layout CAD, circuit optimisation, integrated circuit layout, state assignment, state assignment, minimisation of switching nets, single stuck-at faults, area minimization |
15 | Mandyam-Komar Srinivas, James Jacob, Vishwani D. Agrawal |
Functional test generation for non-scan sequential circuits. |
VLSI Design |
1995 |
DBLP DOI BibTeX RDF |
nonscan sequential circuits, functional test vectors, growth and disappearance fault model, complete stuck fault coverage, algebraic transformations, synthesized FSMs, VLSI, fault diagnosis, logic testing, finite state machines, integrated circuit testing, sequential circuits, automatic testing, functional test generation |
15 | Santanu Paul, Atul Prakash 0001 |
A Framework for Source Code Search Using Program Patterns. |
IEEE Trans. Software Eng. |
1994 |
DBLP DOI BibTeX RDF |
program patterns, source code fragments, integrated software engineering environments, pattern-based query processors, source programming language, SCRUPLE, source code search tool, source code browser, user interfaces, user interface, formal specification, software maintenance, software maintenance, prototype, software tools, software tools, programming environments, finite state machines, finite state machine, query languages, source code, pattern languages, software reengineering, software understanding, software toolkits, source code search |
15 | Yabo Wang, David Lorge Parnas |
Simulating the Behavior of Software Modules by Trace Rewriting. |
IEEE Trans. Software Eng. |
1994 |
DBLP DOI BibTeX RDF |
software module behavior simulation, trace rewriting, trace assertion method, module interface specification method, specification simulation tool, trace simulator, trace specifications, trace rewriting systems, trace simulation, simulation, formal specification, finite state machines, digital simulation, term rewriting, rewriting systems, finite state machine model |
15 | Mitchell Flatebo, Ajoy Kumar Datta |
Two-State Self-Stabilizing Algorithms for Token Rings. |
IEEE Trans. Software Eng. |
1994 |
DBLP DOI BibTeX RDF |
two-state self-stabilizing algorithms, legal state, illegal state, infrequent errors, randomized central demon, asynchronous unidirectional ring, binary state machines, distributed system, reliability, distributed algorithms, distributed algorithms, fault tolerant computing, probability, local area networks, probabilistic algorithm, network connections, token rings, token networks, mutual exclusion algorithms |
15 | Michael K. Reiter, Kenneth P. Birman |
How to Securely Replicate Services. |
ACM Trans. Program. Lang. Syst. |
1994 |
DBLP DOI BibTeX RDF |
replication, causality, state machines, threshold cryptography |
15 | Leonard Pitt, Manfred K. Warmuth |
The Minimum Consistent DFA Problem Cannot be Approximated within any Polynomial. |
J. ACM |
1993 |
DBLP DOI BibTeX RDF |
minimization of finite state machines, approximation algorithms, nonapproximability |
15 | Bernhard Eschermann |
State Assignment for Hardwired VLSI Control Units. |
ACM Comput. Surv. |
1993 |
DBLP DOI BibTeX RDF |
coding constraints, VLSI, computer-aided design, synthesis, finite-state machines, logic design, sequential circuits, testability, integrated circuits, built-in tests, state assignment, control design |
15 | George J. Milne |
The Formal Description and Verification of Hardware Timing. |
IEEE Trans. Computers |
1991 |
DBLP DOI BibTeX RDF |
hardware timing, CIRCAL, verification, finite state machines, logic design, finite automata, formal description, modeling framework, verification techniques |
15 | Rafic Z. Makki, Silvio Bou-Ghazale, Chen Tianshang |
Automatic Test Pattern Generation with Branch Testing. |
IEEE Trans. Computers |
1991 |
DBLP DOI BibTeX RDF |
gate-level input/output lines, simulation, logic testing, finite state machines, automatic testing, fault location, stuck-at faults, design-for-test, scan paths, test algorithm, branch testing |
15 | Merrill E. Isenman, Dennis E. Shasha |
Performance and Architectural Issues for String Matching. |
IEEE Trans. Computers |
1990 |
DBLP DOI BibTeX RDF |
architectural issues, Knuth-Morris-Pratt algorithm, hardware-based approach, software approaches, Unix system, term-matcher controller, information retrieval, finite-state machines, database management systems, string matching, finite automata, hardware implementation, control logic, performance issues |
15 | Reg G. Willson, Bruce H. Krogh |
Petri Net Tools for the Specification and Analysis of Discrete Controllers. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
Petri net tools, discrete controllers, discrete-state systems, rule-based state-variable-specification formalism, interconnected state machines, reduced reachability graphs, discrete manufacturing systems, modeling, formal specification, Petri nets, specification, controllers, computerised control, discrete systems |
15 | Anne Condon, Richard J. Lipton |
On the Complexity of Space Bounded Interactive Proofs (Extended Abstract) |
FOCS |
1989 |
DBLP DOI BibTeX RDF |
space bounded interactive proofs, finite-state verifiers, Markov chains, finite-state machines, upper bound, undecidable, interactive proof systems, recursively enumerable language |
15 | Yoshiaki Kakuda, Yasushi Wakahara, Masamitsu Norigoe |
An Acyclic Expansion Algorithm for Fast Protocol Validation. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
acyclic expansion algorithm, protocol errors, system deadlocks, channel overflows, protocols, finite state machines, program verification, finite automata, system recovery, state transitions, computer communications software, protocol validation, communications software |
15 | André Thayse |
Synthesis and Asynchronous Implementation of Algorithms Using a Generalized P-Function Concept. |
IEEE Trans. Computers |
1984 |
DBLP DOI BibTeX RDF |
Algorithmic state machines, factorization of Boolean matrices, implementation of algorithms, microprogrammed structures, parallel program schemata, P-functions, Petri nets, switching theory |
15 | W. R. English |
Synthesis of Finite State Algorithms in a Galois Field GF[pn]. |
IEEE Trans. Computers |
1981 |
DBLP DOI BibTeX RDF |
sequential networks, Finite-state algorithms, finite-state machines, Galois field arithmetic |
15 | David Lee 0001, Mihalis Yannakakis |
Closed Partition Lattice and Machine Decomposition. |
IEEE Trans. Computers |
2002 |
DBLP DOI BibTeX RDF |
machine decomposition, closed partition lattice, Finite state machine |
15 | David Lee 0001, Arun N. Netravali, Krishan K. Sabnani, Binay Sugla, Ajita John |
Passive testing and applications to network management. |
ICNP |
1997 |
DBLP DOI BibTeX RDF |
|
15 | Mathew Hall |
Search based hierarchy generation for reverse engineered state machines. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Alessandra Cavarra |
Inter-agent Data Flow Analysis of Abstract State Machines. |
Australian Software Engineering Conference |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Khaled El-Fakih, Nina Yevtushenko 0001, Hacène Fouchal |
Testing Timed Finite State Machines with Guaranteed Fault Coverage. |
TestCom/FATES |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Stefan Björnander, Lars Grunske, Kristina Lundqvist |
Timed Simulation of Extended AADL-Based Architecture Specifications with Timed Abstract State Machines. |
QoSA |
2009 |
DBLP DOI BibTeX RDF |
Behavior Annex, TASM, Translation, AADL |
15 | Jing Chen, Xinqiao Lu, Qiaoling Luo, Ping Li, Xiaojuan Liu |
A Segment Extraction-Combination Algorithm Based on Polygonal Approximation and Finite State Machines for On-Line Chinese Character Recognition. |
ICYCS |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Dumitru Roman, Michael Kifer, Dieter Fensel |
WSMO Choreography: From Abstract State Machines to Concurrent Transaction Logic. |
ESWC |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Koen V. Hindriks, Peter Novák 0001 |
Compiling GOAL Agent Programs into Jazzyk Behavioural State Machines. |
MATES |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Qing Wang 0002, Klaus-Dieter Schewe, Bernhard Thalheim |
XML Database Transformations with Tree Updates. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Rubens Fernandes Nunes, Creto Augusto Vidal, Joaquim B. Cavalcante Neto |
Sensory state machines for physically-based animation. |
Vis. Comput. |
2007 |
DBLP DOI BibTeX RDF |
Physically-based animation, Motion control |
15 | Mario Friske, Bernd-Holger Schlingloff |
Improving Test Coverage for UML State Machines Using Transition Instrumentation. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
|
15 | El maati Chabbar, Mohamed Bouhdadi |
On Verification of Communicating Finite State Machines Using Residual Languages. |
Asia International Conference on Modelling and Simulation |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Irwin O. Kennedy |
Implementation of Low Frequency Finite State Machines Using the VIRTEX SRL16 Primitive. |
FPL |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Sebastian Schuster, Uwe Brinkschulte |
Model-Driven Development of Ubiquitous Applications for Sensor-Actuator-Networks with Abstract State Machines. |
SEUS |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Rasul Mohammadi, Shahin Hashtrudi-Zad |
A recursive algorithm for diagnosis in hierarchical finite-state machines. |
SMC |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Liang Bai, Songyang Lao, Gareth J. F. Jones, Alan F. Smeaton |
A Semantic Content Analysis Model for Sports Video Based on Perception Concepts and Finite State Machines. |
ICME |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Jacques-Olivier Klein, Eric Belhaire, Claude Chappert, Florent Ouchet, Russell Cowburn, Dan Read, Dorothee Petit |
Synthesis of Finite State Machines with Magnetic Domain Wall Logic. |
ISCAS |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Wenhui Sun, Feng Liu, Gang Dai, Honghui Li |
Modeling Session Initiation Protocol with Extended Finite State Machines. |
PDCAT |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Jon Whittle 0001, Leif Geiger, Michael Meisinger |
5th Intl. Workshop on Scenarios and State Machines: Models - Algorithms - and Tools (SCESM). |
ACM SIGSOFT Softw. Eng. Notes |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Sebastian Link, Klaus-Dieter Schewe, Jane Zhao |
Refinements in Typed Abstract State Machines. |
Ershov Memorial Conference |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Warren A. Hunt Jr., Erik Reeber |
A SAT-based procedure for verifying finite state machines in ACL2. |
ACL2 |
2006 |
DBLP DOI BibTeX RDF |
satisfiability solving, theorem proving, hardware verification, ACL2 |
15 | Yuri Gurevich, Charles Wallace 0001 |
Can Abstract State Machines Be Useful in Language Theory?. |
Developments in Language Theory |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Daniel Lamch, Roman Wyrzykowski |
Specification, Analysis and Testing of Grid Environments Using Abstract State Machines. |
PARELEC |
2006 |
DBLP DOI BibTeX RDF |
|
15 | David Norton, Dan Ventura |
Preparing More Effective Liquid State Machines Using Hebbian Learning. |
IJCNN |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Minh-Hoang Le, Tu Bao Ho, Yoshiteru Nakamori |
Detecting Citation Types Using Finite-State Machines. |
PAKDD |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Pavel Vasilyev |
Simulator for Real-Time Abstract State Machines. |
FORMATS |
2006 |
DBLP DOI BibTeX RDF |
|
15 | P. V. R. Murthy, P. C. Anitha, M. Mahesh, Rajesh Subramanyan |
Test ready UML statechart models. |
SCESM |
2006 |
DBLP DOI BibTeX RDF |
model based testing, context-free grammar, UML statecharts |
15 | Yves Bontemps, Alexander Egyed |
Scenarios and state machines: models, algorithms, and tools: a summary of the 4th workshop. |
ACM SIGSOFT Softw. Eng. Notes |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Calvin Kai Fan Tang, Eugenia Ternovska |
Model Checking Abstract State Machines with Answer Set Programming. |
LPAR |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Carlos Rossi, Manuel Enciso, Inmaculada Perez de Guzmán |
Formalization of UML state machines using temporal logic. |
Softw. Syst. Model. |
2004 |
DBLP DOI BibTeX RDF |
UML, specification, formal semantics, interval temporal logic, Statechart diagrams |
15 | |
Part I. Testing of Finite State Machines. |
Model-Based Testing of Reactive Systems |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #501 - #600 of 3186 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ >>] |
|