1380 search results - page 122 / 276 » Reasoning about Input-Output Modeling of Dynamical Systems |
RISE
2005
Springer
14 years 3 months ago
2005
Springer
Software Product Line (SPL) engineering allows designers to reason about an entire family of software applications, instead of a single product, with a strategic importance for the...
HICSS
2012
IEEE
12 years 6 months ago
2012
IEEE
The advent of the smartphone as a highly complex technology has been accompanied by mobile operating systems (OS), large communities of developers, diverse content providers, and ...
CORR
2008
Springer
13 years 10 months ago
2008
Springer
- Muscle fatigue is defined as the point at which the muscle is no longer able to sustain the required force or work output level. The overexertion of muscle force and muscle fatig...
ICCAD
2010
IEEE
13 years 8 months ago
2010
IEEE
State-based model checking methods comprise computing and storing reachable states, while stateless model checking methods directly reason about reachable paths using decision proc...
ICWSM
2010
13 years 11 months ago
2010
The spread of influence among individuals in a social network can be naturally modeled in a probabilistic framework, but it is challenging to reason about differences between vari...