Search results for "omissions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Catherine Meadows 0001	Analysis of the Internet Key Exchange Protocol using the NRL Protocol Analyzer.	S&P	1999	DBLP DOI BibTeX RDF
15	Michel Simard, Pierre Plamondon	Bilingual Sentence Alignment: Balancing Robustness and Accuracy.	Mach. Transl.	1998	DBLP DOI BibTeX RDF	bilingual sentence alignment, bitext, translation analysis, statistical translation model
15	Laurent George 0001, Pascale Minet	A Uniform Reliable Multicast Protocol with Guaranteed Response Times.	LCTES	1998	DBLP DOI BibTeX RDF
15	Grant J. Castner, Colin B. Ferguson	Development of a Scale for Measuring Software Diffusion.	HICSS (6)	1998	DBLP DOI BibTeX RDF
15	Allan H. Anderson, Gary A. Shaw	Executable Requirements and Specifications.	J. VLSI Signal Process.	1997	DBLP DOI BibTeX RDF
15	Glen G. Langdon Jr.	Comments on "Probability estimation in arithmetic and adaptive-Huffman entropy coders".	IEEE Trans. Image Process.	1997	DBLP DOI BibTeX RDF
15	Gerald Kotonya, Ian Sommerville	Integrating safety analysis and requirements engineering.	APSEC	1997	DBLP DOI BibTeX RDF	viewpoint-based, formal specification, requirements engineering, safety analysis, system requirements, system failures
15	Gerd Kamp, Bernd Neumann	Knowledge-based Inference Methods for Modeling Technical Systems.	HICSS (5)	1997	DBLP DOI BibTeX RDF
15	Masaki Nakagawa, Takao Higashiyama, Yukiko Yamanaka, Shin-ichi Sawada, Levan Higashigawa, Katsuhiko Akiyama	On-line Handwritten Character Pattern Database Sampled in a Sequence of Sentences without any Writing Instructions.	ICDAR	1997	DBLP DOI BibTeX RDF	Sample Character Patterns, On-line Recognition, Database, Pen Interface
15	Stuart Cheshire, Mary Baker	A Wireless Network in MosquitoNet.	IEEE Micro	1996	DBLP DOI BibTeX RDF	mobile computing, Wireless networks, networking, interconnects, packet switching
15	Birgitte Krogh, Sean Levy, Allen H. Dutoit, Eswaran Subrahmanian	Strictly Class-Based Modeling Considered Harmful.	HICSS (2)	1996	DBLP DOI BibTeX RDF
15	Nicholas Beaumont	Is APL2 a Good Programming Language?	APL	1995	DBLP DOI BibTeX RDF	APL, data typing, control structure, systems analysis and design
15	C. V. Ramamoorthy	Distributed techniques in software systems integration.	FTDCS	1995	DBLP DOI BibTeX RDF	software systems integration, distributed computing techniques, traditional software development, waterfall model, basic conceptual model, generic integration lifecycle, design, formal specification, testing, specification, software development, software tools, validation, requirements, implementation, program verification, software development management, consumer electronics, iterative testing, automation support
15	Ana M. D. Moreira, Robert G. Clark	Combining Object-Oriented Analysis and Formal Description Techniques.	ECOOP	1994	DBLP DOI BibTeX RDF
15	Tilmann F. W. Bruckhaus	The impact of inserting a tool into a software process.	CASCON	1993	DBLP BibTeX RDF
15	Pierre Isabelle	Current research in Machine Translation: A reply to Somers.	Mach. Transl.	1992	DBLP DOI BibTeX RDF
15	Jonathan Shapiro, Peter Mowforth	Data Fusion in 3D Through Surface Tracking.	IEA/AIE (Vol. 1)	1990	DBLP DOI BibTeX RDF
15	Albert Le Xuan, Rajjan Shinghal	Courseware Development by Topdown Conceptual Analysis.	ICCAL	1989	DBLP DOI BibTeX RDF	Topdown Conceptual Analysis, Subordinate Concepts, Coordinate Concepts, Supra-ordinate Concepts, Discrimination & Chains, Generalization, Conceptual Structure