2432 search results - page 250 / 487 » High-level approach to modeling of observed system behavior |
173
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
Humans should be able to think of computers as extensions of their body, as craftsmen do with their tools. Current security models, however, are too unlike those used in human min...
173
click to vote
TACAS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract In the event that a system does not satisfy a specification, a model checker will typically automatically produce a counterexample trace that shows a particular instance ...
157
click to vote
ATAL
2005
Springer
16 years 4 days ago
2005
Springer
Scalable coordination is a key challenge in deployment of multiagent systems. Resource usage is one part of agent behavior which naturally lends itself to abstraction. CyberOrgs i...
171
click to vote
ICAC
2009
IEEE
16 years 1 months ago
2009
IEEE
Architectural monitoring and adaptation allows self-management capabilities of autonomic systems to realize more powerful adaptation steps, which observe and adjust not only param...
177
click to vote
MATA
2000
Springer
15 years 10 months ago
2000
Springer
In order to model telecommunications services as mobile agent system, we are defining a methodology based on the RM-ODP standards. Our approach makes the distinction between the se...