554 search results - page 17 / 111 » Modeling and Reasoning about Service Behaviors and Their Com... |
ATAL
2008
Springer
14 years 11 months ago
2008
Springer
In this paper we present a hybrid reputation model focused on organizational structures that attempts to solve problems associated with both centralized and decentralized reputatio...
100
click to vote
ICSOC
2005
Springer
15 years 3 months ago
2005
Springer
There have been significant efforts in providing semantic descriptions for Web services, including the approach as exemplified by OWLS. Part of the semantic description in OWL-S is...
70
Voted
KBS
1998
14 years 9 months ago
1998
In interactive design processes, strategic decisions are made at different levels. To support designers, design support systems need to include corresponding strategic knowledge at...
JCST
2008
14 years 9 months ago
2008
Transformational approaches to generating design and implementation models from requirements can bring effectiveness and quality to software development. In this paper we present a...
88
Voted
FTRTFT
2000
Springer
15 years 1 months ago
2000
Springer
Formal methods can improve the development of systems with high quality requirements, since they usually o er a precise, nonambiguous speci cation language and allow rigorous veri ...