Sciweavers

4340 search results - page 368 / 868
» Designing for change
Sort
View
ACMICEC
2005
ACM
156views ECommerce» more  ACMICEC 2005»
16 years 12 days ago
Establishing and maintaining compatibility in service oriented business collaboration
Current composite web service development and management solutions, e.g. BPEL, do not cater for assessing and maintaining comparability of business partners during business collab...
Bart Orriëns, Jian Yang
ISSTA
2012
ACM
13 years 9 months ago
Measuring enforcement windows with symbolic trace interpretation: what well-behaved programs say
A static analysis design is sufficient if it can prove the property of interest with an acceptable number of false alarms. Ultimately, the only way to confirm that an analysis d...
Devin Coughlin, Bor-Yuh Evan Chang, Amer Diwan, Je...
IFL
2007
Springer
162views Formal Methods» more  IFL 2007»
16 years 1 months ago
Testing Erlang Refactorings with QuickCheck
Abstract. Refactoring is a technique for improving the design of existing programs without changing their behaviour. Wrangler is a tool built at the University of Kent to support E...
Huiqing Li, Simon Thompson
CEC
2003
IEEE
16 years 4 days ago
An evolutionary approach to microstructure optimisation of stereolithographic models
The aim of this work is to utilize an evolutationary algorithm to evolve the microstructure of an object created by a stereolithography machine. This should be optimised to be able...
Siavash Haroun Mahdavi, Sean Hanna
CVPR
2005
IEEE
16 years 8 months ago
Overview of the Face Recognition Grand Challenge
Over the last couple of years, face recognition researchers have been developing new techniques. These developments are being fueled by advances in computer vision techniques, com...
P. Jonathon Phillips, Patrick J. Flynn, W. Todd Sc...