5128 search results - page 32 / 1026 » Discrete Component Analysis |
CIVR
2008
Springer
14 years 5 days ago
2008
Springer
JAR
2008
13 years 10 months ago
2008
Statistical quantities, such as expectation (mean) and variance, play a vital role in the present age probabilistic analysis. In this paper, we present some formalization of expect...
SOFSEM
2007
Springer
14 years 4 months ago
2007
Springer
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...
OOPSLA
2007
Springer
14 years 4 months ago
2007
Springer
Developing a general component system for a statically typed, object-oriented language is a challenging design problem for two reasons. First, mutually recursive references across...
MATES
2010
Springer
13 years 8 months ago
2010
Springer
The construction of distributed applications is a challenging task due to inherent system properties like message passing and concurrency. Current technology trends further increas...