Sciweavers

553 search results - page 9 / 111
» A Perspective on Component Refinement
Sort
View
DSVIS
2005
Springer
14 years 7 days 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
13 years 12 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
13 years 4 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
14 years 8 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»
13 years 6 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...