1401 search results - page 183 / 281 » Tool Integration for Reasoned Programming |
141
click to vote
LOGCOM
2008
15 years 1 months ago
2008
We consider continuous quantities that are used to describe the physical world, such as colour, shape, sound, texture, and spatial and temporal arrangements. Natural languages are...
224
click to vote
POPL
2007
ACM
16 years 1 months ago
2007
ACM
ML modules and Haskell type classes have proven to be highly effective tools for program structuring. Modules emphasize explicit configuration of program components and the use of...
100
click to vote
KBSE
2005
IEEE
15 years 7 months ago
2005
IEEE
Software debugging is the process of locating and correcting faulty code. Prior techniques to locate faulty code either use program analysis techniques such as backward dynamic pr...
124
click to vote
SEAA
2008
IEEE
15 years 8 months ago
2008
IEEE
Although web services are generally envisioned as being stateless, some of them are implicitly stateful. The reason is that the web services often work as front-ends to enterprise...
CRV
2007
IEEE
15 years 7 months ago
2007
IEEE
To perform as desired in a dynamic environment a vision system must adapt to a variety of operating conditions by selecting vision modules, tuning their parameters, and controllin...