837 search results - page 65 / 168 » A Compositional Approach on Modal Specifications for Timed S... |
ICWS
2008
IEEE
13 years 10 months ago
2008
IEEE
Effective management of Web Services systems relies on accurate understanding of end-to-end transaction flows, which may change over time as the service composition evolves. This ...
EUMAS
2006
13 years 10 months ago
2006
This paper addresses multi agent system (MAS) environments from an application perspective. It presents a structured view on environment-centric MAS applications. This comprises th...
RTSS
2002
IEEE
14 years 1 months ago
2002
IEEE
Controlling the timing performance of a network server is a challenging problem. This paper presents a Queueing Model Based Feedback Control approach to keep the timing performanc...
FLAIRS
2010
13 years 7 months ago
2010
How could computer games be used to augment training for fighter pilots? This paper is aimed at providing one answer to this research question. Three current methods of training f...
DASC
2006
IEEE
14 years 20 days ago
2006
IEEE
Run-time monitoring is a powerful approach for dynamically detecting faults or malicious activity of software systems. However, there are often two obstacles to the implementation...