4870 search results - page 385 / 974 » Challenges of component-based development |
142
Voted
LPAR
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The mechanisation of proofs for probabilistic systems is particularly challenging due to the verification of real-valued properties that probability entails: experience ...
139
click to vote
POLICY
2005
Springer
15 years 10 months ago
2005
Springer
Challenging usage policy issues can arise within virtual organizations (VOs) that integrate participants and resources spanning multiple physical institutions. Participants may wi...
119
Voted
RE
2005
Springer
15 years 10 months ago
2005
Springer
View merging is an important activity in any conceptual modeling language. It is often desirable to combine a set of views to gain a unified perspective, to test hypotheses about...
154
Voted
ROBOCUP
2005
Springer
15 years 10 months ago
2005
Springer
To put more emphasis on real-world problems, the authors propose to extend the RoboCup competitions. In order to foster progress in the desired abilities the authors propose to exp...
123
Voted
SOCO
2005
Springer
15 years 10 months ago
2005
Springer
The programming languages of today are stuck in a deep rut that has developed over the past 50 years. Although we are faced with new challenges posed by enormous advances in hardwa...