4166 search results - page 312 / 834 » Automating the constraining process |
126
click to vote
ISOLA
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Lurette is an automated testing tool dedicated to reactive programs. The test process is automated at two levels: given a formal description of the System Under Test (SUT...
117
click to vote
ICSM
2003
IEEE
15 years 9 months ago
2003
IEEE
“Nightly/daily building and smoke testing” have become widespread since they often reveal bugs early in the software development process. During these builds, software is comp...
126
click to vote
IJMMS
2007
15 years 4 months ago
2007
Predicting when a person might be frustrated can provide an intelligent system with important information about when to initiate interaction. For example, an automated Learning Co...
155
click to vote
TCSV
2008
15 years 4 months ago
2008
Abstract--In this work, we study how continuous video monitoring and intelligent video processing can be used in eldercare to assist the independent living of elders and to improve...
137
click to vote
RTA
1995
Springer
15 years 8 months ago
1995
Springer
We use computational systems to express a completion with constraints procedure that gives priority to simplifications. Computational systems are rewrite theories enriched by stra...