940 search results - page 75 / 188 » Rules and Strategies in Java |
106
Voted
LCPC
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. Processing and analyzing large volumes of data plays an increasingly important role in many domains of scienti c research. We are developing a compiler which processes da...
FOSSACS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. System L is a linear λ-calculus with numbers and an iterator, which, although imposing linearity restrictions on terms, has all the computational power of G¨odel’s Sy...
69
Voted
TARK
2007
Springer
15 years 6 months ago
2007
Springer
We give derivations of two formal models of Gricean Quantity1 implicature and strong exhaustivity (Van Rooij and Schulz, 2004; Schulz and Van Rooij, 2006), in bidirectional optima...
108
click to vote
CDC
2008
IEEE
15 years 24 days ago
2008
IEEE
Novel event-triggered sensing and actuation strategies are presented for networked control systems with limited communication resources. Two architectures are considered: one with ...
85
Voted
ENTCS
2008
15 years 21 days ago
2008
Circus is a refinement language, in which specifications define both data and behavioural aspects of concurrent systems using a combination of Z and CSP. Its refinement theory and...