3573 search results - page 342 / 715 » Reasoning about Codata |
173
click to vote
OTM
2005
Springer
16 years 6 days ago
2005
Springer
Courseware increasingly consists of generic information and communication tools. These offer a plethora of functionalities, but their usefulness to a particular learning community ...
161
Voted
RISE
2005
Springer
16 years 6 days ago
2005
Springer
Software Product Line (SPL) engineering allows designers to reason about an entire family of software applications, instead of a single product, with a strategic importance for the...
172
click to vote
RSFDGRC
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. In this paper, we propose a logical framework for reasoning about uncertain belief fusion. The framework is a combination of multi-agent epistemic logic and possibilistic...
162
click to vote
SPIN
2005
Springer
16 years 6 days ago
2005
Springer
Embedded software verification is an important verification problem that requires the ability to reason about the timed semantics of concurrent behaviors at a low level of atomic...
172
click to vote
TARK
2005
Springer
16 years 6 days ago
2005
Springer
The ability to model changes in preferences is crucially important for sound decision making and effective communication. Much has been written about strategies for changing belie...