6201 search results - page 403 / 1241 » Implementation of Axiomatic Language |
296
click to vote
ICDE
2008
IEEE
16 years 8 months ago
2008
IEEE
Complex event patterns involving Kleene closure are finding application in a variety of stream environments for tracking and monitoring purposes. In this paper, we propose a compac...
306
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
A method is presented for computing all higher-order partial derivatives of a multivariate function Rn R. This method works by evaluating the function under a nonstandard interpre...
159
click to vote
FLOPS
2010
Springer
16 years 1 months ago
2010
Springer
Disproof can be as important as proof in studying programs and programming languages. In particular, side conditions in a statement about program behavior are sometimes best unders...
178
click to vote
VL
2009
IEEE
16 years 1 months ago
2009
IEEE
Labels in spreadsheets can be exploited for finding errors in spreadsheet formulas. Previous approaches have either used the positional information of labels or their interpretat...
171
click to vote
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
— We present a high-level language for programming modular robotic systems, based on locally distributed predicates (LDP), which are distributed conditions that hold for a connec...