Sciweavers

3708 search results - page 101 / 742
» Programming with C Exceptions
Sort
View
HICSS
2007
IEEE
96views Biometrics» more  HICSS 2007»
15 years 8 months ago
Enhancing Workflow Automation in Insurance Underwriting Processes with Web Services and Alerts
Underwriting is one of the important processes in insurance operations. The applicant's information, including various kinds of medical information, must be evaluated before ...
Raymond C. M. Lee, Kai-Pan Mark, Dickson K. W. Chi...
103
Voted
DM
2002
114views more  DM 2002»
15 years 2 months ago
Existence of resolvable group divisible designs with block size four I
It is proved in this paper that for m 0; 2; 6; 10 (mod 12) there exists a resolvable group divisible design of order v, block size 4 and group size m if and only v 0 (mod 4), v ...
Hao Shen, Jiaying Shen
GC
2010
Springer
15 years 29 days ago
The b-Chromatic Number of Cubic Graphs
The b-chromatic number of a graph G is the largest integer k such that G admits a proper k-coloring in which every color class contains at least one vertex adjacent to some vertex...
Marko Jakovac, Sandi Klavzar
114
Voted
JAR
2006
99views more  JAR 2006»
15 years 2 months ago
An Integrated Approach to High Integrity Software Verification
Using automated reasoning techniques, we tackle the niche activity of proving that a program is free from run-time exceptions. Such a property is particularly valuable in high inte...
Andrew Ireland, Bill J. Ellis, Andrew Cook, Roderi...