824 search results - page 20 / 165 » Model-Based Monitoring of Dynamic Systems |
ICCSA
2009
Springer
15 years 4 months ago
2009
Springer
Recently, ubiquitous location-based services (u-LBS) has been utilized in a variety of practical and mission-critical applications such as security services, personalization servic...
79
Voted
ATAL
2009
Springer
15 years 4 months ago
2009
Springer
The behaviours of autonomous agents may deviate from those deemed to be for the good of the societal systems of which they are a part. Norms have therefore been proposed as a mean...
86
Voted
ENTCS
2002
14 years 10 months ago
2002
The MaC system has been developed to provide assurance that a target program is running correctly with respect to formal requirements specification. This is achieved by monitoring...
NOMS
2002
IEEE
15 years 3 months ago
2002
IEEE
We present here a framework together with a set of paradigms for mobile agent based active monitoring of network systems. In our framework mobile agents are used to perform remote...
CSFW
2010
IEEE
15 years 2 months ago
2010
IEEE
In recent years it has been shown that dynamic monitoring can be used to soundly enforce information flow policies. For programs distributed in source or bytecode form, the use o...