27119 search results - page 5167 / 5424 » Languages |
189
click to vote
LORI
2009
Springer
16 years 1 months ago
2009
Springer
We propose a dynamic testimonial logic (DTL) to model communication and belief change among agents with different dispositions to trust each other as information sources. DTL is ...
211
click to vote
MHCI
2009
Springer
16 years 1 months ago
2009
Springer
Information empowers those who make sense from its successful interpretation; this is especially true on the subject of weather where the recipient is required to have prior forms...
186
click to vote
MKM
2009
Springer
16 years 1 months ago
2009
Springer
In this short communication we want to give an overview of how OpenMath is used in the European project “SCIEnce” [12]. The main aim of this project is to allow unified commun...
155
click to vote
OOPSLA
2009
Springer
16 years 1 months ago
2009
Springer
Modern object-oriented languages have complex features that cause programmers to overspecify their programs. This overspecification hinders automatic optimizers, since they must ...
163
click to vote
RE
2009
Springer
16 years 1 months ago
2009
Springer
Service-oriented architectures (SOA) aim at the alignment of business and IT by having a clear business process-centric focus. In order to reach that goal, real-world business pro...