264 search results - page 38 / 53 » Global State Considered Helpful |
FSTTCS
2010
Springer
13 years 6 months ago
2010
Springer
We consider the problem of model checking message-passing systems with real-time requirements. As behavioural specifications, we use message sequence charts (MSCs) annotated with ...
EXACT
2009
13 years 6 months ago
2009
This paper addresses the issue of the explanation of the result given to the end-user by a classifier, when it is used as a decision support system. We consider machine learning cl...
CDC
2010
IEEE
13 years 3 months ago
2010
IEEE
This paper presents a class of multi-agent systems where the state of each agent is driven by its own local protocol, and by exogenous time-varying input signal. These inputs may r...
TSP
2012
12 years 4 months ago
2012
Abstract—We consider a robust downlink beamforming optimization problem for secondary multicast transmission in a multiple-input multiple-output (MIMO) spectrum sharing cognitive...
OTM
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. In this experience report, we present an evaluation of different techniques to manage concurrency in the context of application servers. Traditionally, using entity beans...