Sciweavers

9974 search results - page 151 / 1995
» Software Interconnection Models
Sort
View
OOIS
2000
Springer
15 years 5 months ago
Architecture as Object Models of Software
ABSTRACT: Typically, we think of modelling some business domain when we see the word modelling in the context of software -- some business domain is not understood and therefore we...
Eyðun Eli Jacobsen
GCC
2005
Springer
15 years 7 months ago
RSM and SLN: Transformation, Normalization and Cooperation
The Resource Space Model RSM and Semantic Link Network SLN are models of future interconnection environment, and the combination of them forms a rich semantic layer for the next-ge...
Erlin Yao, Yunpeng Xing, Jie Liu, Xiaoping Sun
CDC
2008
IEEE
117views Control Systems» more  CDC 2008»
15 years 2 months ago
Clustering in a network of mutually attracting agents
We introduce a model of mutually attracting agents in an arbitrary network, for which the long term behavior results in the emergence of several clusters. The cluster structure is ...
Filip De Smet, Dirk Aeyels
SIGSOFT
2003
ACM
16 years 2 months ago
Bogor: an extensible and highly-modular software model checking framework
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
Robby, Matthew B. Dwyer, John Hatcliff
APSEC
2000
IEEE
15 years 6 months ago
Service-based software: the future for flexible software
For the past 40 years, the techniques, processes and methods of software development have been dominated by supply-side issues, giving rise to a software industry oriented towards...
Keith H. Bennett, Paul J. Layzell, David Budgen, P...