3424 search results - page 395 / 685 » Automated Testing of Classes |
168
click to vote
TPHOL
2009
IEEE
16 years 26 days ago
2009
IEEE
Abstract. FinFuns are total functions that are constant except for a finite set of points, i.e. a generalisation of finite maps. We formalise them in Isabelle/HOL and present how...
182
click to vote
BDIM
2008
IEEE
16 years 22 days ago
2008
IEEE
—The timely and efficient management of faults that affect the quality of services delivered to customers is an important issue for service providers with respect to their busin...
178
click to vote
ICALT
2008
IEEE
16 years 21 days ago
2008
IEEE
As a part of many e-learning initiatives, a set of learning units must be arranged in a particular order to meet the learners’ requirements. This process is known as sequencing ...
249
click to vote
ICMCS
2008
IEEE
16 years 20 days ago
2008
IEEE
Recently, advanced video processing systems have been developed for numerous applications, such as surveillance, tracking, monitoring, object and event detection. The large size o...
163
click to vote
IPPS
2008
IEEE
16 years 19 days ago
2008
IEEE
A closed-loop contaminant plume monitoring system is being developed that integrates wireless sensor network based monitoring with numerical models for subsurface plumes. The syst...