400 search results - page 9 / 80 » Moving Proofs-As-Programs into Practice |
INTERNET
2002
13 years 7 months ago
2002
of abstractions a middleware system makes available to applications, they figure prominently in determining the breadth and variety of application integration that the middleware s...
WINET
2002
13 years 7 months ago
2002
Wireless ad-hoc sensor networks have the potential to provide the missing interface between the physical world and the Internet, thus impacting a large number of users. This conne...
BMVC
2000
13 years 8 months ago
2000
The Moving Window Classifier(MWC) has previously been proposed as an efficient scheme for text recognition applications. In this paper, the potential of the MWC algorithm in face ...
AGILEDC
2008
IEEE
14 years 2 months ago
2008
IEEE
This experience report describes the challenges and initial steps taken to move a large development team from traditional waterfall test phases to agile test methods. In late 2007...
CORR
2004
Springer
13 years 7 months ago
2004
Springer
: We will try to tackle both the theoretical and practical aspects of a very important problem in chess programming as stated in the title of this article