4350 search results - page 228 / 870 » Case studies for contract-based systems |
184
click to vote
CHI
2011
ACM
14 years 10 months ago
2011
ACM
In this paper, we present the design, implementation, and deployment of a phone-based broadcasting system designed for reaching out to at-risk populations in urban India. We worke...
192
click to vote
IUI
2011
ACM
14 years 9 months ago
2011
ACM
We describe a new sketch recognition framework for chemical structure drawings that combines multiple levels of visual features using a jointly trained conditional random field. ...
203
click to vote
IFIP12
2009
15 years 4 months ago
2009
Abstract Early failure detection in motor pumps is an important issue in prediction maintenance. An efficient condition-monitoring scheme is capable of providing warning and predic...
212
click to vote
SDM
2012
SIAM
13 years 9 months ago
2012
SIAM
A Cyber-Physical System (CPS) integrates physical (i.e., sensor) devices with cyber (i.e., informational) components to form a situation-aware system that responds intelligently t...
173
click to vote
FMOODS
2003
15 years 8 months ago
2003
A way to write proof scores showing that distributed systems have invariant properties in algebraic specification languages is described, which has been devised through several ca...