2020 search results - page 38 / 404 » Modeling Probe-Agent Distributed System by Goal-oriented App... |
138
click to vote
HPCN
2000
Springer
15 years 6 months ago
2000
Springer
The paper presents the implementation of a railway control system, as a means of assessing the potential of coordination languages to be used for modelling software architectures f...
143
click to vote
FAC
2008
15 years 2 months ago
2008
Abstract. Model checking of real-time systems against Duration Calculus (DC) specifications requires the translation of DC formulae into automata-based semantics. The existing algo...
WSC
1997
15 years 3 months ago
1997
The modeling of computer systems, particularly distributed systems, is presented with an emphasis on the system characteristics that are important to the model and some general me...
113
Voted
WSC
2007
15 years 4 months ago
2007
Metamodels are functions with calibrated parameters, used actions and simplifications of the simulation model. A metamodel exposes the system’s input-output relationship and ca...
104
click to vote
FTDCS
1997
IEEE
15 years 6 months ago
1997
IEEE
A Software Architecture is the overall structure of a system in terms of its constituent components and their interconnections. In this paper, we describe work to associate behavi...