9067 search results - page 629 / 1814 » Adaptive Model Checking |
161
click to vote
ACISICIS
2010
IEEE
15 years 8 months ago
2010
IEEE
Recently, software size becomes larger, and consequently, not only a software developer but also a software purchaser suffers considerable losses by software project failure. So av...
206
click to vote
ICWS
2010
IEEE
15 years 8 months ago
2010
IEEE
This paper presents a methodology and a set of tools for the modelling, validation and testing of Web service composition, conceived and developed within the French national projec...
171
click to vote
CSDA
2008
15 years 7 months ago
2008
The most often used approaches to obtaining and using residuals in applied work with time series models, are unified and documented with both partially-known and new features. Spe...
199
click to vote
ICCPOL
2009
Springer
15 years 5 months ago
2009
Springer
Conditional random fields (CRFs) have been quite successful in various machine learning tasks. However, as larger and larger data become acceptable for the current computational ma...
225
click to vote
CAISE
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The increasing adoption of MDD (Model Driven Development) techniques favored the use of large models of different types. It turns out that when the modeled system gets la...