2897 search results - page 221 / 580 » Test Case Integration: From Components to Systems |
162
click to vote
LICS
2005
IEEE
15 years 10 months ago
2005
IEEE
Games played on graphs may have qualitative objectives, such as the satisfaction of an ω-regular property, or quantitative objectives, such as the optimization of a realvalued re...
133
click to vote
JMLR
2010
14 years 11 months ago
2010
Virtually all methods of learning dynamic systems from data start from the same basic assumption: the learning algorithm will be given a sequence of data generated from the dynami...
165
click to vote
EWSPT
2003
Springer
15 years 9 months ago
2003
Springer
We present a new approach for the management and enactment of deployment process by a deployment processor ORYA (Open enviRonment to deploY Applications). ORYA aims to integrate te...
154
click to vote
AIME
2009
Springer
15 years 11 months ago
2009
Springer
The care of the elder at home is highly demanded in modern societies. It is based on the difficult task of coordinating multiple professionals and procedures acting on the same pa...
158
click to vote
EMSOFT
2010
Springer
15 years 2 months ago
2010
Springer
Constructing correct distributed systems from their high-level models has always been a challenge and often subject to serious errors because of their non-deterministic and non-at...