4719 search results - page 602 / 944 » Spreadsheet functional programming |
166
click to vote
ICSOC
2009
Springer
15 years 2 months ago
2009
Springer
Several activities in service oriented computing can benefit from knowing ahead of time future properties of a given service composition. In this paper we focus on how statically i...
150
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract-- We propose a formal method for feedback controller synthesis using interactive computer programs with graphical interface (in short, computer games). The main theoretica...
152
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
In the past decade, moving horizon estimation (MHE) has emerged as a powerful technique for estimating the state of a dynamical system in the presence of nonlinearities and disturb...
178
click to vote
ECCC
2011
14 years 11 months ago
2011
We develop a new technique for proving lower bounds in property testing, by showing a strong connection between testing and communication complexity. We give a simple scheme for r...
245
click to vote
CSE
2011
IEEE
14 years 4 months ago
2011
IEEE
— In network based applications, packet capture is the main area that attracts many researchers in developing traffic monitoring systems. Along with the packet capture, many othe...