5128 search results - page 32 / 1026 » Discrete Component Analysis |
89
Voted
CIVR
2008
Springer
15 years 4 months ago
2008
Springer
118
Voted
JAR
2008
15 years 2 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...
124
click to vote
SOFSEM
2007
Springer
15 years 8 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...
174
Voted
OOPSLA
2007
Springer
15 years 8 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...
174
click to vote
MATES
2010
Springer
15 years 25 days 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...