5378 search results - page 341 / 1076 » Base Logics in Argumentation |
164
click to vote
SFP
2003
15 years 8 months ago
2003
G∀ST is a fully automatic test system. Given a logical property, stated as a function, it is able to generate appropriate test values, to execute tests with these values, and to ...
202
click to vote
GPC
2010
Springer
16 years 1 months ago
2010
Springer
Scalability of reasoning systems is one of the main criteria which will determine the success of Semantic Web systems in the future. The focus of recent work is either on (a) expre...
187
click to vote
ICC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—Secure multicast has become an important component of many applications in wireless networks. In this paper, we investigate secure intra and inter group information shar...
183
click to vote
RR
2007
Springer
16 years 1 months ago
2007
Springer
We present a vision of smart, goal-oriented web services that reason about other services’ policies and evaluate the possibility of future interactions. We assume web services wh...
187
click to vote
ACMICEC
2006
ACM
16 years 26 days ago
2006
ACM
Business processes usually span beyond the boundaries of single operations and many a process spans even beyond the boundaries of organizations. Web Service orchestration or chore...