3573 search results - page 342 / 715 » Reasoning about Codata |
148
click to vote
OTM
2005
Springer
15 years 10 months 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 ...
134
click to vote
RISE
2005
Springer
15 years 10 months 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...
138
Voted
RSFDGRC
2005
Springer
15 years 10 months 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...
121
click to vote
SPIN
2005
Springer
15 years 10 months 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...
146
Voted
TARK
2005
Springer
15 years 10 months 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...