313 search results - page 33 / 63 » Building Models through Formal Specification |
SIGSOFT
2001
ACM
16 years 15 days ago
2001
ACM
For several different reasons, such as changes in the business or technological environment, the configuration of a system may need to evolve during execution. Support for such ev...
143
click to vote
JSS
2008
14 years 11 months ago
2008
The convergence of data, voice, and multimedia communication over digital networks, coupled with continuous improvement in network capacity and reliability has resulted in a proli...
IFM
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. A communication system evolves dynamically with the addition and deletion of services. In our previous work [12], a graph transformation system (GTS) was used to model th...
EDOC
2002
IEEE
15 years 4 months ago
2002
IEEE
Continuous change of user requirements has become a constant for geo-information systems. Designing systems that can adapt to such changes requires an appropriate ethodology that ...
FTML
2008
14 years 11 months ago
2008
The formalism of probabilistic graphical models provides a unifying framework for capturing complex dependencies among random variables, and building large-scale multivariate stat...