首页>外文会议>Australasian conference on Computer science

Australasian conference on Computer science

召开年：2002
召开地：Melbourne(AU)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.An implementation of parallel pattern-matching via concurrent haskell

机译：通过并发haskell实现并行模式匹配
- 作者：Lyndon While;Greg Mildenhall
- 会议名称：《Australasian conference on Computer science》 | 2002年
- pattern-matching;
2.Model checking railway interlocking systems

机译：铁路联锁系统模型检查
- 作者：Kirsten Winter
- 会议名称：《Australasian conference on Computer science》 | 2002年
- process algebras;
3.Reducing cognitive overhead on the world wide web

机译：减少万维网上的认知开销
- 作者：Rebecca J Witt;Susan P Tyerman
- 会议名称：《Australasian conference on Computer science》 | 2002年
- world wide web;
4.Alias analysis for exceptions in Java

机译：别名分析Java中的异常
- 作者：Jongwook Woo;Jehak Woo;Isabelle Attali;Denis Caromel;Jean-Luc Gaudiot;Andrew L Wendelborn
- 会议名称：《Australasian conference on Computer science》 | 2002年
- reference-set representation;
5.Improving SAT using 2SAT

机译：使用2SAT改善SAT
- 作者：Lei Zheng;Peter J. Stuckey
- 会议名称：《Australasian conference on Computer science》 | 2002年
- propositional satisfiability;
6.The future of web search

机译：网络搜索的未来
- 作者：Bruce Croft
- 会议名称：《Australasian conference on Computer science》 | 2002年
7.Essential use cases and responsibility in object-oriented development

机译：面向对象开发中的基本用例和责任
- 作者：Robert Biddle;James Noble;Ewan Tempero
- 会议名称：《Australasian conference on Computer science》 | 2002年
- use cases;
8.Repairing syntax errors in LR-based parsers

机译：修复基于LR的解析器中的语法错误
- 作者：Carl Cerecke
- 会议名称：《Australasian conference on Computer science》 | 2002年
- yacc;
9.Implementation aspects of a SPARC V9 complete machine simulator

机译：SPARC V9完整计算机模拟器的实现方面
- 作者：Bill Clarke;Adam Czezowski;Peter Strazdins
- 会议名称：《Australasian conference on Computer science》 | 2002年
- object-oriented design;
10.Translating refined logic programs to Mercury

机译：将完善的逻辑程序转换为Mercury
- 作者：R. Colvin;I. Hayes;D. Hemer;P. Strooper
- 会议名称：《Australasian conference on Computer science》 | 2002年
- refinement;
11.Employing hierarchical federation communities in the virtual ship architecture

机译：在虚拟船架构中采用分层联合社区
- 作者：Anthony Cramp;Michael Oudshoorn
- 会议名称：《Australasian conference on Computer science》 | 2002年
- virtual ship;
12.Bracket capabilities for distributed systems security

机译：分布式系统安全的托架功能
- 作者：Mark Evered
- 会议名称：《Australasian conference on Computer science》 | 2002年
- security;
13.Suffix vector

机译：后缀矢量
- 作者：Krisztian Monostori;Arkady Zaslavsky;Heinz Schmidt
- 会议名称：《Australasian conference on Computer science》 | 2002年
- suffix tree;
14.Determining component reliability using a testing index

机译：使用测试指标确定组件的可靠性
- 作者：John Morris;Peng Lam;Gareth Lee;Kris Parker;Gary A Bundell
- 会议名称：《Australasian conference on Computer science》 | 2002年
- software reliability;
15.A functional taxonomy for software watermarking

机译：软件水印的功能分类
- 作者：Jasvir Nagra;Clark Thomborson;Christian Collberg
- 会议名称：《Australasian conference on Computer science》 | 2002年
- watermark;
16.Metaphor and metonymy in object-oriented design patterns

机译：面向对象设计模式中的隐喻和转喻
- 作者：James Noble;Robert Biddle;Ewan Tempero
- 会议名称：《Australasian conference on Computer science》 | 2002年
- object-orientation;
17.Intelligent agents for automated one-to-many e-commerce negotiation

机译：自动化的一对多电子商务谈判的智能代理
- 作者：Iyad Rahwan;Ryszard Kowalczyk;Ha Hai Pham
- 会议名称：《Australasian conference on Computer science》 | 2002年
- multi-agent systems;
18.Applying conflict management strategies in BDI agents for resource management in computational grids

机译：在BDI代理中将冲突管理策略应用于计算网格中的资源管理
- 作者：Omer F. Rana;Michael Winikoff;Lin Padgham;James Harland
- 会议名称：《Australasian conference on Computer science》 | 2002年
19.A generalised spreadsheet verification methodology

机译：通用的电子表格验证方法
- 作者：Nick Randolph;John Morris;Gareth Lee
- 会议名称：《Australasian conference on Computer science》 | 2002年
- verification;
20.Application rates to undergraduate programs in information technology in Australian Universities

机译：澳大利亚大学信息技术本科课程的申请率
- 作者：John F. Roddick;Adrienne L. Nieuwenhuis
- 会议名称：《Australasian conference on Computer science》 | 2002年
- university undergraduate application rates;
21.Optimizing web content delivery using web server accelerator

机译：使用Web服务器加速器优化Web内容交付
- 作者：Dongjun Shin;Kern Koh
- 会议名称：《Australasian conference on Computer science》 | 2002年
- web server accelerator;
22.Specifying mode requirements of embedded systems

机译：指定嵌入式系统的模式要求
- 作者：Graeme Smith
- 会议名称：《Australasian conference on Computer science》 | 2002年
- requirements engineering;
23.Neural networks, financial trading and the efficient markets hypothesis

机译：神经网络，金融交易和有效市场假设
- 作者：Andrew Skabar;Ian Cloete
- 会议名称：《Australasian conference on Computer science》 | 2002年
- neural networks;
24.Representation and reasoning for goals in BDI agents

机译：BDI代理中目标的表示和推理
- 作者：John Thangarajah;Lin Padgham;James Harland
- 会议名称：《Australasian conference on Computer science》 | 2002年
25.An approach to phrase selection for offline data compression

机译：一种用于离线数据压缩的短语选择方法
- 作者：A. Turpin;W. F. Smyth
- 会议名称：《Australasian conference on Computer science》 | 2002年
- textual substitution;
26.Music ranking techniques evaluated

机译：音乐排名技巧评估
- 作者：Alexandra L. Uitdenbogerd;Justin Zobel
- 会议名称：《Australasian conference on Computer science》 | 2002年
- n-gram matching;
27.Ticket-based service access scheme for mobile users

机译：针对移动用户的基于票务的服务访问方案
- 作者：Hua Wang;Jinli Cao;Yanchuan Zhang
- 会议名称：《Australasian conference on Computer science》 | 2002年
- signature;
28.Signature extraction for overlap detection in documents

机译：签名提取，用于文档中的重叠检测
- 作者：Raphael A. Finkel;Arkady Zaslavsky;Krisztian Monostori;Heinz Schmidt
- 会议名称：《Australasian conference on Computer science》 | 2002年
- plagiarism document overlap culling digest;
29.Performance of data structures for small sets of strings

机译：小字符串集的数据结构性能
- 作者：Steffen Heinz;Justin Zobel
- 会议名称：《Australasian conference on Computer science》 | 2002年
- trie;
30.Learning and the reflective journal in computer science

机译：学习与计算机科学杂志
- 作者：Susan E. George
- 会议名称：《Australasian conference on Computer science》 | 2002年
- reflective journal;
31.Supporting component-based reuse in CARE

机译：支持CARE中基于组件的重用
- 作者：David Hemer;Peter Lindsay
- 会议名称：《Australasian conference on Computer science》 | 2002年
32.Using finite state automata for sequence mining

机译：使用有限状态自动机进行序列挖掘
- 作者：Philip Hingston
- 会议名称：《Australasian conference on Computer science》 | 2002年
- sequence mining;
33.A dynamic communication algorithm for digital halftoning

机译：一种数字半色调的动态通信算法
- 作者：Philip F. Hingston;R. Lyndon While
- 会议名称：《Australasian conference on Computer science》 | 2002年
- parallel algorithms;
34.Enhanced word-based block-sorting text compression

机译：增强的基于单词的块排序文本压缩
- 作者：R. Yugo Kartono Isal;Alistair Moffat;Alwin C. H. Ngai
- 会议名称：《Australasian conference on Computer science》 | 2002年
- word-based modelling;
35.Bandwidth reservation strategies for mobility support of wireless connections with QoS guarantees

机译：具有QoS保证的无线连接移动性支持的带宽预留策略
- 作者：Ruston Hutchens;Samar Singh
- 会议名称：《Australasian conference on Computer science》 | 2002年
- wireless networks;
36.On modeling real-time mobile processes

机译：关于实时移动流程建模
- 作者：Jeremy Y. Lee;John Zic
- 会议名称：《Australasian conference on Computer science》 | 2002年
- time transmission;
37.Audio-visual speech recognition using red exclusion and neural networks

机译：使用红色排除和神经网络的视听语音识别
- 作者：Trent W. Lewis;David M. W. Powers
- 会议名称：《Australasian conference on Computer science》 | 2002年
- sensor fusion;
38.AdJava

机译：AdJava
- 作者：Mohammad M. Fuad;Michael J. Oudshoorn
- 会议名称：《Australasian conference on Computer science》 | 2002年
- software agents.;
39.Cross-layer verification of type flaw attacks on security protocols

机译：安全协议类型缺陷攻击的交叉层验证
- 作者：Benjamin W. Long;Colin J. Fidge;David A. Carrington;PBenjamin W. Long;PDavid A. Carrington
- 会议名称：《Australasian conference on Computer science》 | 2007年
40.Efficient cycle-accurate simulation of the UltraSPARC III CPU

机译：UltraSparc III CPU的高效循环精确模拟
- 作者：Peter Strazdins;Bill Clarke;Andrew Over;PPeter Strazdins;PBill Clarke
- 会议名称：《Australasian conference on Computer science》 | 2007年
41.Architecture of a web accelerator for wireless networks

机译：无线网络的Web加速器的体系结构
- 作者：Jian Song;Yanchun Zhang;PJian Song;PYanchun Zhang
- 会议名称：《Australasian conference on Computer science》 | 2007年
- wireless network;
42.Segmentation and border identification of cells in images of peripheral blood smear slides

机译：外周血血液涂层图像中细胞的分割和边界鉴定
- 作者：Nicola Ritter;James Cooper;PJames Cooper
- 会议名称：《Australasian conference on Computer science》 | 2007年
- segmentation;
43.Hybrid mesh ad-hoc on-demand distance vector routing protocol

机译：Hybrid网格ad-hoc按需距离矢量路由协议
- 作者：Asad Amir Pirzada;Marius Portmann;Jadwiga Indulska;PMarius Portmann;PJadwiga Indulska
- 会议名称：《Australasian conference on Computer science》 | 2007年
- wireless mesh networks;
44.From graphs to Euclidean virtual worlds

机译：从图形到欧几里德虚拟世界
- 作者：Sara Drago;Anton Bogdanovych;Massimo Ancona;Simeon Simoff;Helmut Berger;Carles Sierra;PSara Drago;PAnton Bogdanovych;PMassimo Ancona;PHelmut Berger;PCarles Sierra
- 会议名称：《Australasian conference on Computer science》 | 2007年
- virtual worlds;
45.On inferences of full hierarchical dependencies

机译：关于完整分层依赖性的推论
- 作者：Sven Hartmann;Sebastian Link;PSven Hartmann;PSebastian Link
- 会议名称：《Australasian conference on Computer science》 | 2007年
46.JooJ

机译：jooj.
- 作者：Hayden Melton;Ewan Tempero;PEwan Tempero
- 会议名称：《Australasian conference on Computer science》 | 2007年
47.Improved shortest path algorithms for nearly acyclic directed graphs

机译：用于几乎无循环指向图的最短路径算法
- 作者：Lin Tian;Tadao Takaoka
- 会议名称：《Australasian conference on Computer science》 | 2007年
- strongly-connected component;
48.Access control models and security labelling

机译：访问控制模型和安全标签
- 作者：Chuchang Liu;Angela Billard;Maris Ozols;Nikifor Jeremic;PChuchang Liu
- 会议名称：《Australasian conference on Computer science》 | 2007年
- security policy;
49.Cost-based and time-based analysis of DoS-resistance in HIP

机译：基于成本和基于时间的髋部电阻分析
- 作者：Suratose Tritilanunt;Colin Boyd;Ernest Foo;Juan Manuel Gonzalez Nieto;PColin Boyd
- 会议名称：《Australasian conference on Computer science》 | 2007年
- timed coloured petri nets;
50.Dynamic measurement of polymorphism

机译：多态性的动态测量
- 作者：Kelvin H. T. Choi;Ewan Tempero;PEwan Tempero
- 会议名称：《Australasian conference on Computer science》 | 2007年
- software metrics;
51.Searching with style

机译：用风格搜索
- 作者：Ying Zhao;Justin Zobel;PYing Zhao
- 会议名称：《Australasian conference on Computer science》 | 2007年
- stylistics;
52.Domination normal form

机译：统治正常形式
- 作者：Henning Koehler
- 会议名称：《Australasian conference on Computer science》 | 2007年
53.Exploring human judgement of digital imagery

机译：探索数字图像的人力判断
- 作者：Timo Volkmer;James A. Thom;S. M. M. Tahaghoghi;PTimo Volkmer;PS. M. M. Tahaghoghi
- 会议名称：《Australasian conference on Computer science》 | 2007年
- semantic annotation;
54.The CRSS metric for package design quality

机译：包装设计质量的CRSS度量
- 作者：Hayden Melton;Ewan Tempero;PEwan Tempero
- 会议名称：《Australasian conference on Computer science》 | 2007年
55.Conflict management for real-time collaborative editing in mobile replicated architectures

机译：移动复制架构中实时协作编辑的冲突管理
- 作者：Sandy Citro;Jim McGovern;Caspar Ryan;PJim McGovern
- 会议名称：《Australasian conference on Computer science》 | 2007年
- replicated architecture;
56.Compact layout of layered trees

机译：紧凑的层状树木布局
- 作者：Kim Marriott;Peter Sbarski
- 会议名称：《Australasian conference on Computer science》 | 2007年
57.Mutually visible agents in a discrete environment

机译：在离散环境中相互可见的代理
- 作者：Joel Fenwick;V. Estivill-Castro;PV. Estivill-Castro
- 会议名称：《Australasian conference on Computer science》 | 2007年
58.Web services discovery based on schema matching

机译：基于架构匹配的Web服务发现
- 作者：Yanan Hao;Yanchun Zhang;PYanchun Zhang
- 会议名称：《Australasian conference on Computer science》 | 2007年
- web service;
59.Enhancing data locality in a fully decentralised P2P cycle stealing framework

机译：在完全分散的P2P循环中窃取框架中的数据局部
- 作者：Richard Mason;Wayne Kelly;PRichard Mason
- 会议名称：《Australasian conference on Computer science》 | 2007年
- peer-to-peer;
60.HAT-trie

机译：帽子
- 作者：Nikolas Askitis;Ranjan Sinha
- 会议名称：《Australasian conference on Computer science》 | 2007年
- trie;
61.Periodical payment model using restricted proxy certificates

机译：使用受限制代理证书的定期付款模型
- 作者：Grigori Goldman
- 会议名称：《Australasian conference on Computer science》 | 2007年
- periodical;
62.QUIP

机译：讽刺
- 作者：Amy Beth Corman;Peter Schachte;Vanessa Teague
- 会议名称：《Australasian conference on Computer science》 | 2007年
- security;
63.Just like magic

机译：就像魔法一样
- 作者：Genevieve Bell;PGenevieve Bell
- 会议名称：《Australasian conference on Computer science》 | 2007年
64.Reasoning about inherent parallelism in modern object-oriented languages

机译：关于现代面向对象语言中固有的并行性的推理
- 作者：Wayne Reid;Wayne Kelly;Andrew Craik
- 会议名称：《Australasian conference on Computer science》 | 2008年
- reasoning;
65.A Local Broker enabled MobiPass architecture for enhancing trusted interaction efficiency

机译：本地经纪人支持ModiPASS架构，以增强可信的交互效率
- 作者：Will Tao;Robert Steele
- 会议名称：《Australasian conference on Computer science》 | 2008年
- ubiquitous computing;
66.Privacy preserving set intersection based on bilinear groups

机译：基于Bilinear群体的隐私保留设定交叉点
- 作者：Yingpeng Sang;Hong Shen
- 会议名称：《Australasian conference on Computer science》 | 2008年
- set intersection;
67.HOVER

机译：徘徊
- 作者：Stephan Mir;Asad Amir Pirzada;Marius Portmann
- 会议名称：《Australasian conference on Computer science》 | 2008年
- wireless;
68.JWS

机译：JWS.
- 作者：Andrew Cho;Paresh Deva;Ewan Tempero
- 会议名称：《Australasian conference on Computer science》 | 2008年
- web services;
69.Automatic thesaurus construction

机译：自动参人建设
- 作者：Dongqiang Yang;David M. Powers
- 会议名称：《Australasian conference on Computer science》 | 2008年
- syntactic dependency;
70.On illegal composition of first-class agent interaction protocols

机译：论一流代理交互协议的非法组成
- 作者：Tim Miller;Peter McBurney
- 会议名称：《Australasian conference on Computer science》 | 2008年
- multi-agent systems;
71.A model, schema, and interface for metadata file systems

机译：元数据文件系统的模型，架构和接口
- 作者：Stijn Dekeyser;Richard Watson;Lasse Motroen
- 会议名称：《Australasian conference on Computer science》 | 2008年
- operating systems;
72.Constraint Logic Programming for program analysis

机译：用于程序分析的约束逻辑编程
- 作者：Joxan Jaffar
- 会议名称：《Australasian conference on Computer science》 | 2008年
73.Integrating recommendation models for improved web page prediction accuracy

机译：集成推荐模型以改进的网页预测准确性
- 作者：Faten Khalil;Jiuyong Li;Hua Wang
- 会议名称：《Australasian conference on Computer science》 | 2008年
- web page prediction;
74.Ruby.NET

机译：Ruby.net
- 作者：Wayne Kelly;John Gough
- 会议名称：《Australasian conference on Computer science》 | 2008年
- dynamic languages;
75.Product flow analysis in distribution networks with a fixed time horizon

机译：固定时间范围内配电网的产品流程分析
- 作者：M. T. Wynn;C. J. Fidge;A. H. M. ter Hofstede;M. Dumas
- 会议名称：《Australasian conference on Computer science》 | 2008年
- product distribution;
76.Informatics olympiads

机译：信息学奥林斯德
- 作者：Benjamin A. Burton
- 会议名称：《Australasian conference on Computer science》 | 2008年
77.An investigation on a community's web search variability

机译：社区网络搜索变异性的调查
- 作者：Mingfang Wu;Andrew Turpin;Justin Zobel
- 会议名称：《Australasian conference on Computer science》 | 2008年
- web search;
78.On measuring Java software

机译：在测量Java软件上
- 作者：Ewan Tempero
- 会议名称：《Australasian conference on Computer science》 | 2008年
79.An efficient hash-based algorithm for minimal k-anonymity

机译：基于高效的基于哈希的算法，用于最小的K-Anonyment
- 作者：Xiaoxun Sun;Min Li;Hua Wang;Ashley Plank
- 会议名称：《Australasian conference on Computer science》 | 2008年
- microdata release;
80.Relative simulation and model checking of real-time processes

机译：实时过程的相对仿真和模型检查
- 作者：Colin Fidge
- 会议名称：《Australasian conference on Computer science》 | 2008年
- simulation;
81.Experiments in the dynamics of phase coupled oscillators when applied to graph colouring

机译：应用于图形着色时相耦合振荡器动态的实验
- 作者：Sofianto Lee;Raymond Lister
- 会议名称：《Australasian conference on Computer science》 | 2008年
- phase coupled oscillators;
82.An investigation of the state formation and transition limitations for prediction problems in recurrent neural networks

机译：经常性神经网络预测问题的状态形成和过渡限制的调查
- 作者：Angel Kennedy;Cara MacNish
- 会议名称：《Australasian conference on Computer science》 | 2008年