1463 search results - page 218 / 293 » The State of the Art in Language Modeling |
FTRTFT
2000
Springer
15 years 1 months ago
2000
Springer
Formal methods can improve the development of systems with high quality requirements, since they usually o er a precise, nonambiguous speci cation language and allow rigorous veri ...
DAGSTUHL
2006
14 years 11 months ago
2006
One of the main difficulties faced when analyzing Markov chains modelling evolutionary algorithms is that their cardinality grows quite fast. A reasonable way to deal with this iss...
PRIMA
2007
Springer
15 years 4 months ago
2007
Springer
Multiagent Systems are potential computational systems for various practical applications, tools, and so on. Multiagent simulation is one of the remarkable application to evaluate ...
102
click to vote
AICT
2006
IEEE
15 years 3 months ago
2006
IEEE
In this paper we discuss a model-based approach to the analysis of service interactions for coordinated web service compositions using obligation policies specified in the form of...
ICAC
2005
IEEE
15 years 3 months ago
2005
IEEE
As software comes under increasing scrutiny for its lack of safety and reliability, numerous static and partially dynamic tools (including model checking) have been proposed for v...