201 search results - page 16 / 41 » An Authorization Logic With Explicit Time |
163
click to vote
AAAI
1998
15 years 7 months ago
1998
In abductive planning, plans are constructed as reasons for an agent to act: plans are demonstrations in logical theory of action that a goal will result assuming that given actio...
163
click to vote
VTS
2002
IEEE
15 years 10 months ago
2002
IEEE
Fault diagnosis is to predict the potential fault sites in a logic IC. In this paper, we particularly address the problem of diagnosing faults that exhibit the so-called Byzantine...
142
Voted
BIOSURVEILLANCE
2007
Springer
16 years 3 days ago
2007
Springer
A significant proportion of human diseases, spanning the gamut from viral respiratory disease to arthropod-borne macroparasitic infections of the blood, exhibit distinct and stable...
193
click to vote
ATVA
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Model-checking alternating-time properties has recently attracted much interest in the verification of distributed protocols. While checking the validity of a specificati...
147
click to vote
CAISE
2005
Springer
15 years 11 months ago
2005
Springer
To achieve inter-enterprise software interoperability, the semantics of interchanged information by using electronic business documents, has to be explicitly modeled. A common appr...