|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 437 occurrences of 265 keywords
|
|
|
Results
Found 725 publication records. Showing 723 according to the selection in the facets
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] |
|