3573 search results - page 451 / 715 » Reasoning about Codata |
174
click to vote
CSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—This paper presents a model of collaborative decision-making for groups that involve people and computer agents. The model distinguishes between actions relating to participants...
151
click to vote
GLVLSI
2009
IEEE
16 years 1 months ago
2009
IEEE
In the context of formal verification Bounded Model Checking (BMC) has shown to be very powerful for large industrial designs. BMC is used to check whether a circuit satisfies a...
159
click to vote
IAT
2009
IEEE
16 years 1 months ago
2009
IEEE
—In decentralized settings with partial observability, agents can often benefit from communicating, but communication resources may be limited and costly. Current approaches ten...
193
click to vote
ICAC
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper we construct an evaluation framework for a self-healing system, VM-Rejuv – a virtual machine based rejuvenation scheme for web-application servers – using simple...
165
click to vote
KBSE
2009
IEEE
16 years 1 months ago
2009
IEEE
Effect systems are important for reasoning about the side effects of a program. Although effect systems have been around for decades, they have not been widely adopted in practice...