Search results for "ACSC"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Bernard K. Gunther	Facilitating Learning in Advanced Computer Architecture through Appropriate Simulation.	ACSC	2000	DBLP DOI BibTeX RDF
1	Graeme Smith 0001	Stepwise Development from Ideal Specifications.	ACSC	2000	DBLP DOI BibTeX RDF	formal specification, refinement, stepwise development
1	Brian Lederer, Valentina Plekhanova, C. Barry Jay	Teaching a Capstone Subject in Computing Science -- A Variety Engineering Approach.	ACSC	2000	DBLP DOI BibTeX RDF	requisite variety, software engineering, education
1	K. John Gough	Parameter Passing for the Java Virtual Machine.	ACSC	2000	DBLP DOI BibTeX RDF	languages other than Java, parameter passing mechanisms, Compilers, Java Virtual Machine
1	Andrew Skabar, Kousick Biswas, Binh Pham 0001, Anthony J. Maeder	Inductive Concept Learning in the Absence of Labeled Counter-Examples.	ACSC	2000	DBLP DOI BibTeX RDF	Clustering, Machine Learning, Classification, Concept learning
1	Robert Colvin, Ian J. Hayes, Paul A. Strooper	Refining Logic Programs Using Types.	ACSC	2000	DBLP DOI BibTeX RDF	logic programming, Refinement, types
1	Xiangjian He, Tom Hintz	Refining Edge Detection within Spiral Architecture.	ACSC	2000	DBLP DOI BibTeX RDF	Spiral Architecture, Computer Vision, Image Processing, Edge Detection
1	Richard Cole 0002	Automated Layout of Concept Lattices Using Force Directed Placement and Genetic Algorithms.	ACSC	2000	DBLP DOI BibTeX RDF
1	John Potter, James Noble 0001	Conglomeration -- Realizing Alias Protection.	ACSC	2000	DBLP DOI BibTeX RDF
1		23rd Australasian Computer Science Conference (ACSC 2000), 31 January - 3 February 2000, Canberra, Australia	ACSC	2000	DBLP BibTeX RDF
1	Chuchang Liu, Maris A. Ozols, Marie Henderson, Anthony Cant	Towards Certificate Verification in a Certificate Management System.	ACSC	2000	DBLP DOI BibTeX RDF	CA (Certificate Authority), certificate management systems, certificate verification, formal methods, information security, certificate
1	Zili Zhang 0001, Chengqi Zhang	Result Fusion in Multi-Agent Systems Based on OWA Operator.	ACSC	2000	DBLP DOI BibTeX RDF	Multi-Agent Systems, Information Fusion, Group Decision Making, Ordered Weighted Averaging Operator
1	Paul Gruba, Harald Søndergaard	Transforming Communication Skills Instruction: The Conference Approach.	ACSC	2000	DBLP DOI BibTeX RDF	student conferences, Computer science education, constructivism, communication skills
1	Owen de Kretser, Alistair Moffat	Needles and Haystacks: A Search Engine for Personal Information Collections.	ACSC	2000	DBLP DOI BibTeX RDF
1	Nikola B. Serbedzija	Developing Middleware for Web-Aware Systems: Lessons Learned.	ACSC	2000	DBLP DOI BibTeX RDF	Web Collaboration, Middleware, Distributed Programming
1	Kevin C. F. Lew, Alfred L. Brown	A Model of Persistent Software Composition.	ACSC	2000	DBLP DOI BibTeX RDF	hyper-programming, hyper-worlds, software architecture, distribution, persistence
1	David Jeffery, Fergus Henderson, Zoltan Somogyi	Type Classes in Mercury.	ACSC	2000	DBLP DOI BibTeX RDF
1	Fred Brown	Exposing Memory Mapped I/O Using NFS.	ACSC	2000	DBLP DOI BibTeX RDF	shadow paging, persistence, virtual memory, NFS, memory mapping, persistent object store
1	Tim Bell 0001	A Low-Cost High-Impact Computer Science Show for Family Audiences.	ACSC	2000	DBLP DOI BibTeX RDF	Public understanding of science, computer science education
1	Lee Naish	A Three-Valued Declarative Debugging Scheme.	ACSC	2000	DBLP DOI BibTeX RDF

Displaying result #401 - #420 of 420 (100 per page; Change: )
Pages: [<<][1][2][3][4][5]

Publications at "ACSC"( http://dblp.L3S.de/Venues/ACSC )