893 search results - page 166 / 179 » Environment Assumptions for Synthesis |
RE
2008
Springer
13 years 7 months ago
2008
Springer
Missing or imprecise requirements can lead stakeholders to make incorrect assumptions. A "Not a Problem" defect report (NaP) describes a software behavior that a stakeho...
WINE
2010
Springer
13 years 5 months ago
2010
Springer
Online auctions in which items are sold in an online fashion with little knowledge about future bids are common in the internet environment. We study here a problem in which an auc...
IDA
2011
Springer
13 years 2 months ago
2011
Springer
Ubiquitous Knowledge Discovery is a new research area at the intersection of machine learning and data mining with mobile and distributed systems. In this paper the main character...
CCS
2011
ACM
12 years 7 months ago
2011
ACM
The complexity of modern web applications makes it difficult for developers to fully understand the security implications of their code. Attackers exploit the resulting security v...
ECCV
2006
Springer
14 years 9 months ago
2006
Springer
We consider the problem of tracking a given set of point features over large sequences of image frames. A classic procedure for monitoring the tracking quality consists in requirin...