500 search results - page 86 / 100 » Quantified Conditionals and Compositionality |
CSFW
2004
IEEE
13 years 11 months ago
2004
IEEE
Information flow security properties such as noninterference ensure the protection of confidential data by strongly limiting the flow of sensitive information. However, to deal wi...
ALT
2009
Springer
13 years 11 months ago
2009
Springer
Domain adaptation is a fundamental learning problem where one wishes to use labeled data from one or several source domains to learn a hypothesis performing well on a different, y...
ICWS
2008
IEEE
13 years 9 months ago
2008
IEEE
Web service applications integrate explicit client-service interactions with notification-style programming. Such event-driven interactions are often called implicit invocations b...
MKWI
2008
13 years 9 months ago
2008
Abstract. While past research in service oriented computing has focused on the fairly static functional description and the operators of services the dynamic and flexible compositi...
SPLC
2008
13 years 9 months ago
2008
Model-driven software product lines are an emerging topic in research and industry, as they promise higher development speed and easier adaptability to customer needs. The generat...