2020 search results - page 192 / 404 » Modeling Probe-Agent Distributed System by Goal-oriented App... |
179
click to vote
WISES
2003
15 years 7 months ago
2003
Abstract — Control systems are often software-intensive applications that are becoming extremely complex as new functionality is required. Complexity is a real engineering challe...
149
Voted
IPPS
2006
IEEE
16 years 14 days ago
2006
IEEE
The RTSJ memory model propose a mechanism based on a scope three containing all region-stacks in the system and a reference-counter collector. In order to avoid reference cycles a...
134
click to vote
EUROMICRO
1997
IEEE
15 years 10 months ago
1997
IEEE
Metacomputing is an emergent paradigm that makes possible to distribute applications over a heterogeneous set of computing systems to exploit all available resources. The paper pr...
175
click to vote
CONCUR
2004
Springer
15 years 11 months ago
2004
Springer
We present a modular approach to defining logics for a wide variety of state-based systems. We use coalgebras to model the behaviour of systems, and modal logics to specify behavi...
165
click to vote
ER
1997
Springer
15 years 10 months ago
1997
Springer
Turbulence is in the nature of business environments. Changes brought about because of different requirements such as social, political, technical and economic, exert pressures on ...