3335 search results - page 25 / 667 » A Unified Approach to Modeling and Programming |
133
click to vote
ECOOP
2008
Springer
15 years 6 months ago
2008
Springer
Verification of object-oriented programs relies on object invariants which express consistency criteria of objects. The semantics of object invariants is subtle, mainly because of...
170
click to vote
ISBI
2006
IEEE
2006
IEEE
Shape analysis using the Fisher-Rao Riemannian metric: unifying shape representation and deformation
15 years 11 months ago
— We show that the Fisher-Rao Riemannian metric is a natural, intrinsic tool for computing shape geodesics. When a parameterized probability density function is used to represent...
175
click to vote
PE
2010
Springer
14 years 11 months ago
2010
Springer
We introduce a new framework supporting the bottleneck analysis of closed, multiclass BCMP queueing networks in the limiting regime where the number of jobs proportionally grows t...
143
click to vote
DEXAW
2004
IEEE
15 years 8 months ago
2004
IEEE
Many software acquisition projects are doomed to fail due to a lack of integration of acquisition and development processes on the one hand and, because of shortcomings of classic...
113
Voted
ENTCS
2010
15 years 5 months ago
2010
We present a novel specification language called JDC to be used at design phase of distributed components. The extensive seek for asynchrony in distributed components demands new ...