2661 search results - page 258 / 533 » A Semantics for Abstraction |
195
click to vote
RSFDGRC
2005
Springer
16 years 27 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...
220
click to vote
SEMWEB
2005
Springer
16 years 27 days ago
2005
Springer
Abstract. In this paper we describe how we handle heterogeneity in web service interaction through a choreography mechanism that we have developed for IRS-III. IRS-III is a framewo...
199
click to vote
WISA
2005
Springer
16 years 27 days ago
2005
Springer
Abstract. Reverse engineering of executable programs, by disassembling them and then using program analyses to recover high level semantic information, plays an important role in a...
230
click to vote
AWCC
2004
Springer
16 years 25 days ago
2004
Springer
Abstract. Much of the information on the web is indeed dynamic content provided through linkups with databases. However, due to heterogeneity of databases, it is difficult to provi...
178
click to vote
FASE
2004
Springer
16 years 24 days ago
2004
Springer
Abstract. In this paper we present a novel approach for the predicative specification of user rights in the context of an object oriented use case driven development process. We e...