677 search results - page 86 / 136 » A New Start-Up Demonstration Test |
110
click to vote
TASE
2007
IEEE
15 years 6 months ago
2007
IEEE
Software has been under scrutiny by the verification community from various angles in the recent past. There are two major algorithmic approaches to ensure the correctness of and...
ATAL
2007
Springer
15 years 6 months ago
2007
Springer
Mobile agents require access to computing resources on heterogeneous systems across the Internet. This demo illustrates how agents can negotiate terms and conditions of resource a...
AUSDM
2007
Springer
15 years 6 months ago
2007
Springer
This paper describes the development of a predictive model for corporate insolvency risk in Australia. The model building methodology is empirical with out-ofsample future year te...
3DPVT
2006
IEEE
15 years 5 months ago
2006
IEEE
This paper addresses the challenging problem of statistics on images by describing average and variability. We describe computational anatomy tools for building 3-D and spatio-tem...
HICSS
2006
IEEE
15 years 5 months ago
2006
IEEE
e-Government operations are increasing with citizen demand for timely and cost effective services. Security associated with individual systems is similar to many e-commerce soluti...