4163 search results - page 211 / 833 » A comprehensive combination framework |
156
click to vote
ENTCS
2008
15 years 6 months ago
2008
Logical frameworks have enjoyed wide adoption as meta-languages for describing deductive systems. While the techniques for representing object languages in logical frameworks are ...
154
click to vote
CHI
2005
ACM
16 years 6 months ago
2005
ACM
The Community Bar is a groupware tool supporting informal awareness and casual interaction for small communities of intimate collaborators. Its conceptual design is primarily base...
173
click to vote
ICWS
2009
IEEE
16 years 3 months ago
2009
IEEE
—In this paper we extend our previous work on soft probabilistic contracts for QoS management, from the particular case of “response time”, to general QoS parameters. Our stu...
175
click to vote
CIBCB
2008
IEEE
16 years 29 days ago
2008
IEEE
sequence content at an abstract level and offers novel ways to examine the information contained in them. Our approach is an information theoretic search process which uses patter...
179
click to vote
IEEESCC
2008
IEEE
16 years 27 days ago
2008
IEEE
In this paper, we present a comprehensive study on the threats towards the coordination services for Web services business activities and explore the most optimal solution to miti...