Search results for "MSC"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	Blaise Genest, Anca Muscholl	Pattern Matching and Membership for Hierarchical Message Sequence Charts.	LATIN	2002	DBLP DOI BibTeX RDF
11	Umer Waqar, Ferhat Khendek, Daniel Vincent	A Formal Approach for Software Maintenance.	ICSM	2002	DBLP DOI BibTeX RDF
11	Leon S. Lasdon	Nonlinear and Geometric Programming - Current Status.	Ann. Oper. Res.	2001	DBLP DOI BibTeX RDF	optimization, search, constraints, nonlinear, gradient
11	Anca Muscholl, Doron A. Peled	From Finite State Communication Protocols to High-Level Message Sequence Charts.	ICALP	2001	DBLP DOI BibTeX RDF	HMSC, bounded automata, partial order specification, specification, Message sequence charts
11	Jacky Baltes	RoboCup-99: A Student's Perspective.	RobVis	2001	DBLP DOI BibTeX RDF
11	Torsten Braun, Linqing Liu	Multicast for Small Conferences.	ISCC	2001	DBLP DOI BibTeX RDF
11	Eulanda Miranda dos Santos, Herman Martins Gomes	Appearance-Based Object Recognition Using Support Vector Machines.	SIBGRAPI	2001	DBLP DOI BibTeX RDF
11	Paul Baker, Ekkart Rudolph, Ina Schieferdecker	Graphical Test Specification - The Graphical Format of TTCN-3.	SDL Forum	2001	DBLP DOI BibTeX RDF
11	Fabrice Dubois, Marc Born, Harald Böhme, Joachim Fischer, Eckhardt Holz, Olaf Kath, Bertram Neubauer, Frank Stoinski	Distributed Systems: From Models to Components.	SDL Forum	2001	DBLP DOI BibTeX RDF
11	Anthony Wiles	ETSI Testing Activities and the Use of TTCN-3.	SDL Forum	2001	DBLP DOI BibTeX RDF
11	Loïc Hélouët	Some Pathological Message Sequence Charts, and How to Detect Them.	SDL Forum	2001	DBLP DOI BibTeX RDF
11	Yi-Bing Lin, Ai-Chun Pang, Ming-Feng Chang	vGPRS: A Mechanism for Voice over GPRS.	ICDCS Workshops	2001	DBLP DOI BibTeX RDF
11	Zsuzsanna Harangozó, Katalin Tarnay	FDTs in Self-adaptive Protocol Specification.	IWSAS	2001	DBLP DOI BibTeX RDF
11	Rajeev Alur, Radu Grosu	Shared Variables Interaction Diagrams.	ASE	2001	DBLP DOI BibTeX RDF
11	Gary E. Becker, Roopa Rudrapatna, Sunil Sowlay, K. N. Wong, Jar R. Wu	Integrated Network and Element Management System for the 3rd generation CDMA2000 wireless network.	NOMS	2000	DBLP DOI BibTeX RDF
11	Thierry Scheurer	Formal Methods: The Problem Is Education.	SAFECOMP	2000	DBLP DOI BibTeX RDF
11	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
11	J. Barrie Thompson, Helen M. Edwards	How to Teach Practical Software Quality Assurance: An Experience Report.	APAQS	2000	DBLP DOI BibTeX RDF	Software Engineering, Standards, Pedagogy, Quality Assurance
11	Eric Conquet, Jean-Luc Marty	Formal Design for Automatic Coding and Testing: The ESSI/SPACES Project.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
11	Chee Peng Lim, Phaik Yean Goay, Poh Suan Teoh, Robert F. Harrison	Combination of decisions from a multiple neural network classifier system.	KES	1999	DBLP DOI BibTeX RDF
11	Paulo Sérgio Muniz Silva	Extended Message Sequence Charts with Time-Interval Semantics.	TIME	1998	DBLP DOI BibTeX RDF
11	Francis Bordeleau, Raymond J. A. Buhr	UCM-ROOM modelling: from use case maps to communicating state machines.	ECBS	1997	DBLP DOI BibTeX RDF	UCM-ROOM modelling, communicating state machines, internal state machines, intercomponent messages, UCM models, message sequence charts, communicating sequential processes, modelling methodology, computer-based systems, use case maps
11	Wojciech Maly	The future of IC design, testing, and manufacturing.	IEEE Des. Test Comput.	1996	DBLP DOI BibTeX RDF

Displaying result #701 - #723 of 723 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][6][7][8]