Sciweavers

941 search results - page 4 / 189
» The Parking Permit Problem
Sort
View
FASE
2009
Springer
15 years 1 months ago
Interface Generation and Compositional Verification in JavaPathfinder
Abstract. We present a novel algorithm for interface generation of software components. Given a component, our algorithm uses learning techniques to compute a permissive interface ...
Dimitra Giannakopoulou, Corina S. Pasareanu
ESCIENCE
2006
IEEE
15 years 1 months ago
Authorizing Remote Job Execution Based on Job Properties
: E-Science often requires access to remote Grid computing platforms. Current authorization systems on these remote systems have largely based decisions solely on the identity of t...
Sang-Min Park, Glenn S. Wasson, Marty Humphrey
ICIP
2010
IEEE
14 years 7 months ago
A fourth order dual method for staircase reduction in texture extraction and image restoration problems
We propose a fourth order dual method for the minimization of the non-smooth semi-norm
Tony F. Chan, Selim Esedoglu, Frederick E. Park
OOPSLA
1995
Springer
15 years 1 months ago
Problem-Oriented Object Memory: Customizing Consistency
Abstracting with credit is permitted. To copy otherwise, to republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Internal Acc...
Anders Kristensen, Colin Low
WDAG
2009
Springer
166views Algorithms» more  WDAG 2009»
15 years 4 months ago
New Bounds for the Controller Problem
The (M, W)-controller, originally studied by Afek, Awerbuch, Plotkin, and Saks, is a basic ted tool that provides an abstraction for managing the consumption of a global resource ...
Yuval Emek, Amos Korman