4451 search results - page 721 / 891 » Continuous model synthesis |
206
click to vote
FLOPS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Assertion-based contracts provide a powerful mechanism for stating invariants at module boundaries and for enforcing them uniformly. In 2002, Findler and Felleisen showed...
182
click to vote
NIPS
2008
15 years 7 months ago
2008
Abstract: Structure learning of dynamic Bayesian networks provide a principled mechanism for identifying conditional dependencies in time-series data. This learning procedure assum...
172
click to vote
DC
2001
15 years 7 months ago
2001
Several initiatives for establishing standards for metadata models are being carried out at the moment, but everyone focuses on their own requirements when defining metadata attri...
177
click to vote
WSC
2004
15 years 7 months ago
2004
Air traffic flow management (TFM) is a set of processes and procedures which seek to balance the demand for airspace resources with the capacity of these resources. Examples of re...
157
click to vote
WSC
1994
15 years 7 months ago
1994
Whether designing a new system or modifying an existing one, engineers want to take the guesswork out of finding the best possible solution. While there are many analysis methods ...