12981 search results - page 499 / 2597 » Model Checking (Abstract) |
124
click to vote
ACISICIS
2010
IEEE
15 years 6 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...
169
click to vote
ICWS
2010
IEEE
15 years 6 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...
118
Voted
CSDA
2008
15 years 5 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...
153
click to vote
ICCPOL
2009
Springer
15 years 2 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...
215
click to vote
FROCOS
2011
Springer
14 years 4 months ago
2011
Springer
Temporal data models have been used to describe how data can evolve in the context of temporal databases. Both the Extended Entity-Relationship (EER) model and the Unified Modelli...