396 search results - page 46 / 80 » A Software Component Model and Its Preliminary Formalisation |
168
click to vote
SAC
2005
ACM
15 years 11 months ago
2005
ACM
More and more software projects are using COTS (Commercialoff-the-shelf) components. Using COTS components brings both advantages and risks. To manage some risks in using COTS com...
147
click to vote
FASE
2004
Springer
15 years 11 months ago
2004
Springer
Context-aware computing refers to a computing paradigm in which the behavior of individual components is determined by the circumstances in which they find themselves to an extent...
174
click to vote
FUIN
2006
15 years 5 months ago
2006
In recent years light-weighted formal methods are of growing interest in construction and analysis of complex concurrent software system. A new rule-action based term rewriting fr...
146
click to vote
VLSISP
2008
15 years 5 months ago
2008
The compiler is generally regarded as the most important software component that supports a processor design to achieve success. This paper describes our application of the open re...
138
click to vote
ER
2005
Springer
15 years 11 months ago
2005
Springer
This paper proposes an agent-oriented meta-model that provides rigorous concepts for conducting enterprise modelling. The aim is to allow analysts to produce an enterprise model th...