1697 search results - page 103 / 340 » Supporting the design of service contracts with interaction ... |
187
click to vote
WSC
2004
15 years 7 months ago
2004
With the properties of autonomy, social ability, reactivity and pro-activeness, agents can be used to represent entities in distributed simulations, where fast and accurate decisi...
155
click to vote
CAV
2005
Springer
15 years 12 months ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
262
click to vote
LAWEB
2006
IEEE
16 years 12 days ago
2006
IEEE
Complex applications, in particular Web applications, deal with a myriad of different concerns and some of them affect several others. The result is that these crosscutting concer...
183
click to vote
ICICS
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Trust is hard to establish in a service-oriented grid architecture because of the need to support end user single sign-on and dynamic transient service. In order to enhan...
141
click to vote
MATA
2005
Springer
15 years 12 months ago
2005
Springer
Widget Integration Framework (WIF) is a framework that covers diverse widgets and their interactions with higher layers above. The framework everal advantages of supporting a progr...