6047 search results - page 1071 / 1210 » Modeling with Extend |
153
click to vote
CALCO
2011
Springer
14 years 1 months ago
2011
Springer
This paper extends the fibrational approach to induction and coinduction pioneered by Hermida and Jacobs, and developed by the current authors, in two key directions. First, we pr...
119
Voted
COMSUR
2011
14 years 1 months ago
2011
—Optical layer monitoring and fault localization serves as a critical functional module in the control and management of optical networks. An efficient monitoring scheme aims at ...
151
Voted
ESA
2011
Springer
14 years 1 months ago
2011
Springer
We present a number of positive and negative results for variants of the matroid secretary problem. Most notably, we design a constant-factor competitive algorithm for the “rando...
114
click to vote
HUC
2011
Springer
14 years 1 months ago
2011
Springer
Micro-incentives represent a new but little-studied trend in participant compensation for user studies. In this paper, we use a combination of statistical analysis and models from...
122
Voted
AOSD
2012
ACM
13 years 9 months ago
2012
ACM
In this work we consider specification and compositional verification for interference detection when several aspects are woven together under joint-weaving semantics without re...