3914 search results - page 81 / 783 » Automating SLA modeling |
WOA
2001
13 years 9 months ago
2001
Negotiation is a fundamental mechanism in distributed multi-agent systems. Since negotiation is a time-spending process, in many scenarios agents have to take into account the pas...
TCAD
2008
13 years 7 months ago
2008
The quality and the correctness of software is often the greatest concern in electronic systems. Formal verification tools can provide a guarantee that a design is free of specific...
EUMAS
2006
13 years 9 months ago
2006
Current IT application domains such as web services and autonomic computing call for highly flexible systems, able to automatically adapt to changing operational environments as w...
WSC
2004
13 years 9 months ago
2004
As systems become more and more complex the use of automation tools becomes more important. Although automation is introduced to reduce human workload, improve situational awarene...
ER
2007
Springer
14 years 1 months ago
2007
Springer
The goal of this article is to formalize Object Role Modeling (ORM) using the DLR description logic. This would enable automated reasoning on the formal properties of ORM diagrams,...