186 search results - page 24 / 38 » Mechanizing metatheory in a logical framework |
IFM
1999
Springer
15 years 4 months ago
1999
Springer
The feature interaction problem is prominent in telephone service development. Through a number of case studies, we have discovered that no single semantic framework is suitable f...
207
click to vote
POPL
2005
ACM
16 years 8 hour ago
2005
ACM
In traditional information-flow type systems, the security policy is often formalized as noninterference properties. However, noninterference alone is too strong to express securi...
201
click to vote
PLDI
2009
ACM
16 years 10 days ago
2009
ACM
Reasoning about string variables, in particular program inputs, is an important aspect of many program analyses and testing frameworks. Program inputs invariably arrive as strings...
WWW
2001
ACM
16 years 11 days ago
2001
ACM
Representation of negotiations in electronic markets and their support are important issues in today's e-commerce research. Whereas most activities are focused on automation ...
102
click to vote
IEEESCC
2008
IEEE
15 years 6 months 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...