Search results for "FBT"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
76	Yossi Zana, Roberto Marcondes Cesar Junior	Face recognition based on polar frequency features.	ACM Trans. Appl. Percept.	2006	DBLP DOI BibTeX RDF	Fourier-Bessel transform, discrete Fourier transform
76	Yossi Zana, Roberto Marcondes Cesar Junior, Jesús P. Mena-Chalco	Human and Machine Recognition of Fourier-Bessel Filtered Face Images.	FGR	2006	DBLP DOI BibTeX RDF
76	Yossi Zana, Roberto Marcondes Cesar Junior, Regis de A. Barbosa	Automatic Face Recognition System Based on Local Fourier-Bessel Feature.	SIBGRAPI	2005	DBLP DOI BibTeX RDF
37	Mohammed Fakrudeen, Sufian Yousef, Mahdi H. Miraz	Finger Based Technique (FBT): An Innovative System for Improved Usability for the Blind Users' Dynamic Interaction with Mobile Touch Screen Devices.	CoRR	2017	DBLP BibTeX RDF
37	Bo-Chao Cheng, Huan Chen 0002, Guo-Tan Liao	FBT: an efficient traceback scheme in hierarchical wireless sensor network.	Secur. Commun. Networks	2009	DBLP DOI BibTeX RDF
37	Talal Bonny, Jörg Henkel	FBT: filled buffer technique to reduce code size for VLIW processors.	ICCAD	2008	DBLP DOI BibTeX RDF
37	Miguel J. Hornos	FBT: A Tool for Applying Interval Logic Specifications to On-the-fly Model Checking.	J. Univers. Comput. Sci.	2004	DBLP DOI BibTeX RDF
37	Miguel J. Hornos	Towards a More Intuitive Specification and Automatic Verification of System Properties with FBT: A Tool for Translating Interval Formulas into Büchi Automata.	VVEIS	2004	DBLP BibTeX RDF
37	Qiang Guo 0001, John Derrick, Neil Walkinshaw	Applying Testability Transformations to Achieve Structural Coverage of Erlang Programs.	TestCom/FATES	2009	DBLP DOI BibTeX RDF	FBT, Structural Coverage, Testing, Transformation, Erlang
25	Sajal K. Das 0001, Aisheng Mao	Embeddings in Recursive Combinatorial Networks.	WG	1992	DBLP DOI BibTeX RDF	combinatorial networks, full binary trees, congestion-free routing, Interconnection networks, hypercube, embedding, mesh, bipartite graphs
25	Ravi Mittal, Bijendra N. Jain, Rakesh K. Patney	Subtree Availability in Binary Tree Architectures.	ICCI	1991	DBLP DOI BibTeX RDF
24	Bernhard Schätz, Katharina Spies	10 Years Focus - Lessons learned.	FBT	2000	DBLP BibTeX RDF
24	Jan de Meer, Erika Ábrahám-Mumm	Formal Methods for Reflective System Specification.	FBT	2000	DBLP BibTeX RDF
24	Alexander K. Wißpeintner, Franz Huber, Jan Philipps	Model Checking and Random Competition - A Study Using the Model Checking Framework MIC.	FBT	2000	DBLP BibTeX RDF
24	Michael Schmitt 0002	The Development of a Parser for SDL - 2000.	FBT	2000	DBLP BibTeX RDF
24	Rüdiger Valk	Mobile and Distributed Objects versus Central Referencing.	FBT	2000	DBLP BibTeX RDF
24	Jan Bredereke	Hierarchische Familien formaler Anforderungen.	FBT	2000	DBLP BibTeX RDF
24	Peter Langendörfer, Thomas Krüger, Hartmut König	Leistungsbewertung von SDL-Spezifikationen - Ein Werkzeug zur Bewertung von Implementierungstechniken.	FBT	2000	DBLP BibTeX RDF
24	Dirk Beyer 0001, Andreas Noack	BDD-basierte Verifikation von Echtzeit-Systemen.	FBT	2000	DBLP BibTeX RDF
24	Max Breitling, Jan Philipps	Diagrams for Dataflow.	FBT	2000	DBLP BibTeX RDF
24	Jens Grabowski, Stefan Heymer (eds.)	Formale Beschreibungstechniken für verteilte Systeme, 10. GI/ITG-Fachgespräch, Lübeck, Juni 2000	FBT	2000	DBLP BibTeX RDF
24	Philipp Schaible, Reinhard Gotzhein	Einige Aspekte der Entwicklung maßgeschneiderter Kommunikationsmiddleware.	FBT	2000	DBLP BibTeX RDF
24	Arnim Wedig	Modellierung Verteilter Systeme mit I-Systemen - Ein Beispiel.	FBT	2000	DBLP BibTeX RDF
24	Guido Wirtz, Holger Giese	Skalierbare Beschreibung des Verhaltens verteilter Software-Systeme.	FBT	2000	DBLP BibTeX RDF
24	Ekkart Rudolph, Ina Schieferdecker, Jens Grabowski	Development of a MSC/UML Test Format.	FBT	2000	DBLP BibTeX RDF
24	Christine Röckl	Proving Write Invalidate Cache Coherence with Bisimulations in Isabelle/HOL.	FBT	2000	DBLP BibTeX RDF
24	Sébastien Bornot, Ralf Huuck, Ben Lukoschus	Statische Analysetechniken für speicherprogrammierbare Steuerungen.	FBT	2000	DBLP BibTeX RDF
24	Willem P. de Roever, Frank S. de Boer, Ulrich Hannemann, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers	Basic Principles of a textbook on the compositional and noncompositional verification of concurrent programs.	FBT	2000	DBLP BibTeX RDF
24	Martin von Löwis	Datentypsematik für SDL - 2000.	FBT	2000	DBLP BibTeX RDF
24	Christian Peper	Transformations in Pattern-Based System Specifications.	FBT	1999	DBLP BibTeX RDF
24	Axel Rennoch, Jan de Meer, Ina Schieferdecker	Test Data Filtering.	FBT	1999	DBLP BibTeX RDF
24	Olaf Drögehorn, Oliver Terhorst, Heinz-Dieter Hümmer, Walter Geisselhardt	Formal Specification and Verification of Communication-Systems for designing in VHDL.	FBT	1999	DBLP BibTeX RDF
24	Max Breitling	Modellierung und Beschreibung von Soll/Ist-Abweichungen.	FBT	1999	DBLP BibTeX RDF
24	Ingolf Krüger	Towards the Methodical Usage of Message Sequence Charts.	FBT	1999	DBLP BibTeX RDF
24	Holger Hermanns, Markus Siegle	Symbolic Minimisation of Stochastic Process Algebra Models.	FBT	1999	DBLP BibTeX RDF
24	Ekkart Kindler, Axel Martens	Szenarios: Lokale Kriterien für globale Korrektheit.	FBT	1999	DBLP BibTeX RDF
24	Klaus Bergner, Andreas Rausch, Marc Sihling, Alexander Vilbig, Manfred Broy	A Formal Model for Componentware.	FBT	1999	DBLP BibTeX RDF
24	Dirk Beyer 0001, Heinrich Rust	Concepts of Cottbus Timed Automata.	FBT	1999	DBLP BibTeX RDF
24	Christine Röckl	First-Order Proofs for Higher-Order Languages.	FBT	1999	DBLP BibTeX RDF
24	Tobias Vesper, Michael Weber 0003	Automatisches verteiltes Rücksetzen.	FBT	1999	DBLP BibTeX RDF
24	Joachim Thees	Implementierungs- und Optimierungsmodelle des eXperimental Estelle Compilers.	FBT	1999	DBLP BibTeX RDF
24	Thomas Gehrke, Thomas Firley	Generative Sequence Diagrams with Textual Annotations.	FBT	1999	DBLP BibTeX RDF
24	Richard O. Sinnott	Modelling Dynamic Distributed Systems in LOTOS.	FBT	1999	DBLP BibTeX RDF
24	Stefan Heymer, Jens Grabowski	Towards the Generation of Distributed Test Cases Using Petri Nets.	FBT	1999	DBLP BibTeX RDF
24	Thomas Stauner	Specification of (parts of) a Lip-Sync Protocol Using HyCharts.	FBT	1999	DBLP BibTeX RDF
24	Ernst-Rüdiger Olderog	Entwicklung korrekter zeitkritischer Systeme.	FBT	1999	DBLP BibTeX RDF
24	Harald Störrle	A Petri-net Semantics for Sequence Diagramms.	FBT	1999	DBLP BibTeX RDF
24	Ingrid Fischer, Gabriele Taentzer	Modellierung dynamischer Rekonfiguration in offenen, verteilten Systemen auf der Basis von Graphtransformation.	FBT	1999	DBLP BibTeX RDF
24	Erik Kamsties, Antje von Knethen, Jan Philipps, Bernhard Schätz	Eine vergleichende Fallstudie von acht CASE-Werkzeugen für formale und semi-formale Beschreibungstechniken.	FBT	1999	DBLP BibTeX RDF
24	Arndt Lüder, E. Hintze, Christian Schwab	Anwendung von gefärbten NCES zur Verifikation der C2-Verbindung des erweiterten PROFIBUS-DP-Protokolls.	FBT	1999	DBLP BibTeX RDF
24	Georg Rock, Werner Stephan 0001, Andreas Wolpers	Modeling Dynamic Processes in TLA.	FBT	1999	DBLP BibTeX RDF
24	Peter Langendörfer, Hartmut König	Automatische Generierung effizienter Protokollimplementierungen.	FBT	1999	DBLP BibTeX RDF
24	Katharina Spies, Bernhard Schätz (eds.)	Formale Beschreibungstechniken für verteilte Systeme, 9. GI/ITG-Fachgespräch, München, Juni 1999	FBT	1999	DBLP BibTeX RDF
24	Thomas Stauner, Klaus Schneider 0001, Michaela Huhn	Translating a Visual Description Technique to a Synchronous Language: From DiChartsto PURR.	FBT	1999	DBLP BibTeX RDF
24	Uwe Nestmann	Mobile Objects (a project overview).	FBT	1999	DBLP BibTeX RDF
24	Peter Herrmann, Manfred Noël	Formale Verifikation eines Reglers für Fahrbahnmarkierungsmaschinen.	FBT	1999	DBLP BibTeX RDF
24	Heinrich Hußmann	Formale Beschreibungstechniken und praktische Softwaretechnik - eine unglückliche Verbindung?	FBT	1999	DBLP BibTeX RDF
24	Georg Rock, Werner Stephan 0001, Andreas Wolpers	Assumption-Commitment Specifications and Safety-Critical Systems.	FBT	1998	DBLP BibTeX RDF
24	Hartmut König, Peter Langendörfer (eds.)	Formale Beschreibungstechniken für verteilte Systeme, 8. GI/ITG-Fachgespräch, Cottbus, 4. und 5. Juni 1998	FBT	1998	DBLP BibTeX RDF
24	Stephan Pietsch, Ina Schieferdecker	Test Suite Simulation.	FBT	1998	DBLP BibTeX RDF
24	Joost-Pieter Katoen, Lennard Lambert	Pomsets for MSC.	FBT	1998	DBLP BibTeX RDF
24	Stefan Heymer, Jens Grabowski	Formal Methods and Conformance Testing --or-- What are we testing anyway?	FBT	1998	DBLP BibTeX RDF
24	Eckhardt Holz, Joachim Fischer	Introduction of Gate Types into SDL.	FBT	1998	DBLP BibTeX RDF
24	Jan Phillips, Alexander Schmidt	Entwurf und Implementierung eingebetteter Systeme.	FBT	1998	DBLP BibTeX RDF
24	Detlef Baumecker, Reinhard Koeppe	Vermittlung von Prinzipien der Formalen Spezifikation von offenen, protokollunabhängigen Kommunikationssystemen.	FBT	1998	DBLP BibTeX RDF
24	Peter Paul Spies	Ereignisverbände.	FBT	1998	DBLP BibTeX RDF
24	Peter Langendörfer, Thomas Krüger, Sven Twarok	Eine SDL-Laufzeitumgebung zur Unterstützung unterschiedlicher Implementationsstrategien.	FBT	1998	DBLP BibTeX RDF
24	Franz Huber, Bernhard Schätz	Specification Modules for Methodical System Development.	FBT	1998	DBLP BibTeX RDF
24	Arndt Lüder, E. Hintze, A. Pöschmann, Hans-Michael Hanisch	Prädikat/Transitions-Netz-Condition/Event-Systeme zur Modellierung von Kommunikationssystemen.	FBT	1998	DBLP BibTeX RDF
24	Thomas Gehrke, Michaela Huhn, Peter Niebert, Arend Rensink, Heike Wehrheim	A Process Algebra Semantics for MSC Including Conditions.	FBT	1998	DBLP BibTeX RDF
24	Thomas Walter	Classification of Specification and Validation Methods for Distributed Systems.	FBT	1998	DBLP BibTeX RDF
24	Rudolf Scheurer, Jens Grabowski, Dieter Hogrefe	Revised Comparison of an Automatically Generated and a Manually Specified Abstract Test Suite for the B-ISDN Protocol SSCOP.	FBT	1998	DBLP BibTeX RDF
24	Max Breitling, Ursula Hinkel, Katharina Spies	Formale Entwicklung verteilter reaktiver Systeme mit FOCUS.	FBT	1998	DBLP BibTeX RDF
24	Ulrich Herzog	Kompositioneller Entwurf mit Stochastischen Prozeßalgebren.	FBT	1998	DBLP BibTeX RDF
24	Dirk Beyer 0001, Heinrich Rust	Modeling a Production Cell as a Distributed Real-Time System with Cottbus Timed Automata.	FBT	1998	DBLP BibTeX RDF
24	Joachim Fischer, Nils Fischbeck, Marc Born	SDL und ODL im Entwicklungsprozess von Telekommunikationssystemen.	FBT	1998	DBLP BibTeX RDF
24	Jan de Meer, Axel Rennoch, Arno Puder	Towards a QoS Binding Notation.	FBT	1998	DBLP BibTeX RDF
24	Thomas Firley, Thomas Gehrke, Arend Rensink	Spezifikation eines RPC-Speichers mit der Sprache ProFun.	FBT	1998	DBLP BibTeX RDF
24	Birgit Geppert, Frank Rößler, Michael Schneider 0009	Using SDL Patterns for the Design of a CAN-based Communication Subsystem.	FBT	1998	DBLP BibTeX RDF
24	Martin von Löwis, Ralf Schröder	Objekt-orientierte Datenkonzepte für SDL.	FBT	1998	DBLP BibTeX RDF
24	Olaf Drögehorn, Peter Herrmann	Werkzeugunterstützte Protokollverifikation mit dem Transferprotokoll-Framework.	FBT	1998	DBLP BibTeX RDF
24	Christel Baier, Holger Hermanns	Weak Bisimulation for Fully Probabilistic Processes.	FBT	1997	DBLP BibTeX RDF
24	Ina Schieferdecker, Axel Rennoch, Olaf Mertens	Timed MSCx - an Extension to MSC'96.	FBT	1997	DBLP BibTeX RDF
24	Frank Reffel	Partial-Order Reduzierung des Zustandsraumes bei der BDD-Modellprüfung.	FBT	1997	DBLP BibTeX RDF
24	Ursula Hinkel, Katharina Spies	Spezifikationsmethodik für mobile, dynamische FOCUS-Netze.	FBT	1997	DBLP BibTeX RDF
24	Thomas Gehrke	Zum Einsatz einer graphischen Entwurfsmethode zur Erstellung einer prozeßorientierten Spezifikation.	FBT	1997	DBLP BibTeX RDF
24	Piotr Kosiuczenko	Formal Semantics of Basic Message Sequence Charts: an Algebraic Approach.	FBT	1997	DBLP BibTeX RDF
24	Jan de Meer	QoS Control by Balancing Continuous MM Streams.	FBT	1997	DBLP BibTeX RDF
24	Jan Tretmans	Repetitive Quiescence in Implementation and Testing.	FBT	1997	DBLP BibTeX RDF
24	Michael Schmitt 0002, Jens Grabowski, Dieter Hogrefe, Beat Koch	-Autolink- A Tool for the Automatic and Semi-Automatic Test Generation.	FBT	1997	DBLP BibTeX RDF
24	Nils Buhrke, Wolfgang Thomas, Jens Vöge	Ein inkrementeller Ansatz zur effizienten Synthese von Controllern aus Spezifikationen mit temporaler Logik.	FBT	1997	DBLP BibTeX RDF
24	Stephan Kleuker	Anforderungsformalisierung für synchron kommunizierende Prozesse mit Trace-Diagrammen.	FBT	1997	DBLP BibTeX RDF
24	Robert Schmit, Michael Kunes, Walter Sedlbauer	Prototyping mit SDL.	FBT	1997	DBLP BibTeX RDF
24	Ralf Henke, Andreas Mitschele-Thiel	Efficient Implementation Strategies for SDL.	FBT	1997	DBLP BibTeX RDF
24	Clemens Fischer	Combining Object-Z and CSP.	FBT	1997	DBLP BibTeX RDF
24	Leszek Holenderski, Axel Poigné	Synchronous Automata for Synchronous Programming Languages.	FBT	1997	DBLP BibTeX RDF
24	Lutz Sommerfeld, Peter B. Ladkin	Beschreibung eines vagen Echtzeit-Hybrid-Systems in TLA+.	FBT	1997	DBLP BibTeX RDF
24	Frank Lemmen	Objektorientierte Instrumentierung einer SDL'92-Spezifikation im Kontext des SDL/MSC-gesteuerten Monitoring.	FBT	1997	DBLP BibTeX RDF
24	Stefan Heymer, Jens Grabowski	Generating Test Cases for Infinite System Specifications.	FBT	1997	DBLP BibTeX RDF
24	Thomas Walter, Jens Grabowski	Test Case Specification with Real-time TTCN.	FBT	1997	DBLP BibTeX RDF