Sciweavers

553 search results - page 9 / 111
» A Perspective on Component Refinement
Sort
View
DSVIS
2005
Springer
15 years 3 months ago
A Calculus for the Refinement and Evolution of Multi-user Mobile Applications
The calculus outlined in this paper provides a formal architectural framework for describing and reasoning about the properties of multi-user and mobile distributed interactive sys...
W. Greg Phillips, T. C. Nicholas Graham, Christoph...
ICSE
2003
IEEE-ACM
15 years 2 months ago
Multi-view Software Component Modeling for Dependability
Modeling software components from multiple perspectives provides complementary views of a software system and enables sophisticated analyses of its functionality. A software compon...
Roshanak Roshandel, Nenad Medvidovic
ICFEM
2010
Springer
14 years 7 months ago
Reasoning about Safety and Progress Using Contracts
Designing concurrent or distributed systems with complex architectures while preserving a set of high-level requirements through all design steps is not a trivial task. Building up...
Imene Ben Hafaiedh, Susanne Graf, Sophie Quinton
CVPR
2006
IEEE
15 years 11 months ago
Putting Objects in Perspective
Image understanding requires not only individually estimating elements of the visual world but also capturing the interplay among them. In this paper, we provide a framework for p...
Derek Hoiem, Alexei A. Efros, Martial Hebert
IJKL
2007
68views more  IJKL 2007»
14 years 9 months ago
Modelling the creation of value from intellectual capital: a Portuguese banking perspective
: Despite the widely recognised importance of intellectual capital as a vital source of competitive advantage, there is still little understanding of how organisations actually com...
Maria do Rosário Cabrita, Jorge Landeiro De...