809 search results - page 156 / 162 » Requirements by Contracts allow Automated System Testing |
123
click to vote
ATAL
2010
Springer
15 years 23 days ago
2010
Springer
As learning agents move from research labs to the real world, it is increasingly important that human users, including those without programming skills, be able to teach agents de...
103
click to vote
DNA
2009
Springer
15 years 6 months ago
2009
Springer
Process algebras are widely used for defining the formal semantics of concurrent communicating processes. In process algebra, concurrent processes can be specified to execute di...
110
click to vote
VRST
2009
ACM
15 years 6 months ago
2009
ACM
This paper presents a markerless tracking technique targeted to the Windows Mobile Pocket PC platform. The primary aim of this work is to allow the development of standalone augme...
132
click to vote
RV
2009
Springer
15 years 4 months ago
2009
Springer
Monitoring of software’s execution is crucial in numerous software development tasks. Current monitoring efforts generally require extensive instrumentation of the software or d...
BMCBI
2006
14 years 11 months ago
2006
Background: Two-dimensional data colourings are an effective medium by which to represent three-dimensional data in two dimensions. Such "color-grid" representations hav...