1012 search results - page 88 / 203 » Towards Component-Based Software Engineering |
QSIC
2007
IEEE
15 years 4 months ago
2007
IEEE
In this paper we propose a metric for finite processes in a probabilistic extension of CSP. The kernel of the metric corresponds to trace equivalence and most of the operators in...
VMCAI
2004
Springer
15 years 3 months ago
2004
Springer
Biological systems can be modeled beneficially as reactive systems, using languages and tools developed for the construction of man-made systems. Our long-term aim is to model a f...
CSMR
1998
IEEE
15 years 2 months ago
1998
IEEE
A conceptual reengineering framework is presented that proposes extract, transform and rewrite as three characteristic steps to be performed within a reengineering cycle. The cycl...
ICECCS
1996
IEEE
15 years 2 months ago
1996
IEEE
The Architecture Planning Group (APG) was chartered by IEEE's Software Engineering Standards Committee to set a direction for incorporating architectural thinking into IEEE s...
AVI
2006
14 years 11 months ago
2006
In this paper, we introduce SCACS, a Social Context-Aware Communication System that facilitates face-to-face communications between old-timers and newcomers in a research communit...