Sciweavers

403 search results - page 39 / 81
» Contracts for higher-order functions
Sort
View
SCP
1998
134views more  SCP 1998»
15 years 5 months ago
Abstract Interpretation Using Typed Decision Graphs
Interpretation Using Typed Decision Graphs Laurent Mauborgne LIENS, ´Ecole Normale Sup´erieure, 45 rue d’Ulm, 75230 Paris cedex 05, France Abstract. This article presents a way...
Laurent Mauborgne
JMLR
2010
135views more  JMLR 2010»
15 years 26 days ago
Structured Prediction Cascades
Structured prediction tasks pose a fundamental trade-off between the need for model complexity to increase predictive power and the limited computational resources for inference i...
David Weiss, Benjamin Taskar
WINE
2009
Springer
155views Economy» more  WINE 2009»
16 years 20 days ago
Bidding for Representative Allocations for Display Advertising
Display advertising has traditionally been sold via guaranteed contracts – a guaranteed contract is a deal between a publisher and an advertiser to allocate a certain number of ...
Arpita Ghosh, Randolph Preston McAfee, Kishore Pap...
206
Voted
EDOC
2003
IEEE
15 years 11 months ago
Model Driven Security: Unification of Authorization Models for Fine-Grain Access Control
The research vision of the Unified Component Meta Model Framework (UniFrame) is to develop an infrastructure for components that enables a plug and play component environment wher...
Carol C. Burt, Barrett R. Bryant, Rajeev R. Raje, ...
ICSOC
2009
Springer
16 years 19 days ago
Evaluating Contract Compatibility for Service Composition in the SeCO2 Framework
Recently, the Software-as-a-Service (SaaS) model has been increasingly supported, becoming a major part of the new emerging cloud computing paradigms. Although SaaS exists in diff...
Marco Comerio, Hong Linh Truong, Flavio De Paoli, ...