2024 search results - page 136 / 405 » The Meaning of Ordered SOS |
108
Voted
NMR
2004
Springer
15 years 6 months ago
2004
Springer
This paper presents statistical default logic, an expansion of classical (i.e., Reiter) default logic that allows us to model common inference patterns found in standard inferenti...
TSD
2004
Springer
15 years 6 months ago
2004
Springer
Discourse in formal domains, such as mathematics, is characterized by a mixture of telegraphic natural language and embedded formal expressions. Little is known about the suitabil...
106
Voted
VMCAI
2004
Springer
15 years 6 months ago
2004
Springer
In this paper we deal with the problem of applying model checking to real programs. We verify a program without constructing the whole transition system using a technique based on...
82
Voted
ACSAC
2003
IEEE
15 years 6 months ago
2003
IEEE
As computer infrastructures become more complex, security models must provide means to handle more flexible and dynamic requirements. In the Organization Based Access Control (Or...
87
Voted
AINA
2003
IEEE
15 years 6 months ago
2003
IEEE
This paper proposes an analytical model for delayed reservation scheme, which can be exactly analyzed. By applying it to a server-based QoS management network, we can obtain the r...