Search results for "BSI"

Found 111 publication records. Showing 111 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	Denis Rinfret	Answering preference queries with bit-sliced index arithmetic.	C3S2E	2008	DBLP DOI BibTeX RDF	bit-sliced indexes, approximate queries, preference queries, bitmap indexes
19	Frederick Yip, Alfred Ka Yiu Wong, Pradeep Ray, Nandan Paramesh	Corporate Security Compliance in a Heterogeneous Environment.	NOMS	2006	DBLP DOI BibTeX RDF
19	Richard G. Boyes, Jonathan M. Schott, Chris Frost 0001, Nick C. Fox	Increasing Accuracy of Atrophy Measures from Serial MR Scans Using Parameter Analysis of the Boundary Shift Integral.	MICCAI (2)	2004	DBLP DOI BibTeX RDF
19	Changqin Huang, Deren Chen, Qinghuai Zeng, Hualiang Hu	A DAG-Based XCIGS Algorithm for Dependent Tasks in Grid Environments.	ICCSA (2)	2004	DBLP DOI BibTeX RDF
19	Simeon Keates	Developing BS7000 Part 6 - Guide to Managing Inclusive Design.	User Interfaces for All	2004	DBLP DOI BibTeX RDF
19	Nico Plat, Peter Gorm Larsen	An overview of the ISO/VDM-SL standard.	ACM SIGPLAN Notices	1992	DBLP DOI BibTeX RDF	VDM
19	Christoph Blaue	A VDM Subset Compiler.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
19	Marek A. Bednarczyk, Andrzej M. Borzyszkowski	CPO's do not form a CPO, and yet Recursion Works.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
19	Derek J. Andrews, Anjula Garg, S. P. A. Lau, J. R. Pitchers	The Formal Definition of Modula-2 and Its Associated Interpreter.	VDM Europe	1988	DBLP DOI BibTeX RDF
19	Michael Lucks	A Constraint Satisfaction Algorithm for the Automated Decryption of Simple Substitution Ciphers.	CRYPTO	1988	DBLP DOI BibTeX RDF
19	Joseph F. Traub	USA participation in an international standard glossary on information processing.	Commun. ACM	1963	DBLP DOI BibTeX RDF

Displaying result #101 - #111 of 111 (100 per page; Change: )
Pages: [<<][1][2]