Abstract is missing.
- Constraint Logic Programming for program analysisJoxan Jaffar. 3 [doi]
- On measuring Java softwareEwan D. Tempero. 7 [doi]
- Informatics olympiads: challenges in programming and algorithm designBenjamin A. Burton. 9-13 [doi]
- A model, schema, and interface for metadata file systemsStijn Dekeyser, Richard Watson, Lasse Motrøen. 17-26 [doi]
- Reasoning about inherent parallelism in modern object-oriented languagesWayne Reid, Wayne Kelly, Andrew Craik. 27-36 [doi]
- Ruby.NET: a Ruby compiler for the common language infrastructureWayne Kelly, John Gough. 37-46 [doi]
- Privacy preserving set intersection based on bilinear groupsYingpeng Sang, Hong Shen. 47-54 [doi]
- A Local Broker enabled MobiPass architecture for enhancing trusted interaction efficiencyWill Tao, Robert Steele. 55-61 [doi]
- HOVER: hybrid on-demand distance vector routing for wireless mesh networksStephan Mir, Asad Amir Pirzada, Marius Portmann. 63-71 [doi]
- Product flow analysis in distribution networks with a fixed time horizonMoe Thandar Wynn, Colin J. Fidge, Arthur H. M. ter Hofstede, Marlon Dumas. 73-81 [doi]
- Experiments in the dynamics of phase coupled oscillators when applied to graph colouringSofianto Lee, Raymond Lister. 83-89 [doi]
- Integrating recommendation models for improved web page prediction accuracyFaten Khalil, Jiuyong Li, Hua Wang. 91-100 [doi]
- An efficient hash-based algorithm for minimal ::::k::::-anonymityXiaoxun Sun, Min Li, Hua Wang, Ashley W. Plank. 101-107 [doi]
- JWS: a flexible web serviceAndrew Cho, Paresh Deva, Ewan D. Tempero. 109-116 [doi]
- An investigation on a community s web search variabilityMingfang Wu, Andrew Turpin, Justin Zobel. 117-126 [doi]
- On illegal composition of first-class agent interaction protocolsTim Miller, Peter McBurney. 127-136 [doi]
- An investigation of the state formation and transition limitations for prediction problems in recurrent neural networksAngel Kennedy, Cara MacNish. 137-145 [doi]
- Automatic thesaurus constructionDongqiang Yang, David M. W. Powers. 147-156 [doi]
- Relative simulation and model checking of real-time processesColin J. Fidge. 157-165 [doi]