814 search results - page 90 / 163 » Generic Model Abstraction from Examples |
119
click to vote
ARCS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract: Which Software Reliability Engineering (SRE) methods should be applied during the various phases of the lifecycle of a product? The answer given here centres on learning ...
146
click to vote
ICFEM
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We develop a way of analyzing the behavior of systems modeled using Discrete Time Markov Chains (DTMC). Specifically, we define iLTL, an LTL with linear inequalities on...
104
click to vote
ICCS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. The Virtual Ecology Workbench (VEW) is a suite of utilities for creating, executing and analysing biological models of the ocean. At its core is a mathematical language a...
128
click to vote
PDCAT
2005
Springer
15 years 8 months ago
2005
Springer
Grid and service computing technologies have been explored by enterprises to promote integration, sharing, and collaboration. However, quick response to business environment chang...
147
click to vote
SAB
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Symmetry breaking is commonly found in self-organized collective decision making. It serves an important functional role, specifically in biological and bio-inspired sys...