755 search results - page 59 / 151 » Sequential Diagnosis by Abstraction |
ICOIN
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. In optical networks, traffic demands often demonstrate periodic nature for which time-overlapping property can be utilized in routing and wavelength assignment (RWA). A R...
SBP
2010
Springer
14 years 27 days ago
2010
Springer
Abstract. There is much empirical evidence that human decisionmaking under risk does not correspond the decision-theoretic notion of “rational” decision making, namely to make ...
CONCUR
2009
Springer
14 years 12 days ago
2009
Springer
Abstract. A concurrent Kleene algebra offers, next to choice and iteration, operators for sequential and concurrent composition, related by an inequational form of the exchange la...
ECOOP
2000
Springer
14 years 3 days ago
2000
Springer
Abstract. While sequential behavior of single objects is fairly well understood, orchestrating the collective behavior emerging from the behaviors of individual objects continues t...
IPPS
1999
IEEE
14 years 1 days ago
1999
IEEE
Abstract. In this paper we describe how the language of Communicating Sequential Processes CSP has been applied to the analysis of a transport layer protocol used in the implementa...