116 search results - page 19 / 24 » Introducing Communication in Dis-POMDPs with Finite State Ma... |
119
click to vote
FORMATS
2008
Springer
15 years 1 months ago
2008
Springer
Time dependant models have been intensively studied for many reasons, among others because of their applications in software verification and due to the development of embedded pla...
121
click to vote
TC
2002
14 years 11 months ago
2002
We investigate whether asynchronous computational models and asynchronous algorithms can be considered for designing real-time distributed fault-tolerant systems. A priori, the lac...
DAC
2009
ACM
16 years 19 days ago
2009
ACM
Functional validation of a processor design through execution of a suite of test programs is common industrial practice. In this paper, we develop a high-level architectural speci...
114
click to vote
AICT
2006
IEEE
15 years 5 months ago
2006
IEEE
In this paper we discuss a model-based approach to the analysis of service interactions for coordinated web service compositions using obligation policies specified in the form of...
INFOCOM
2005
IEEE
15 years 5 months ago
2005
IEEE
Trust negotiation is a process that establishes mutual trust by the exchange of digital credentials and/or guiding policies among entities who may have no pre-existing knowledge a...