1588 search results - page 163 / 318 » Modular action language |
175
click to vote
SAS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We specify an information flow analysis for a simple imperative language, using a Hoare-like logic. The logic facilitates static checking of a larger class of programs t...
163
click to vote
DISCEX
2003
IEEE
15 years 12 months ago
2003
IEEE
Efforts toward automated detection and identification of multistep cyber attack scenarios would benefit significantly from a methodology and language for modeling such scenario...
176
click to vote
GI
2009
Springer
15 years 11 months ago
2009
Springer
: Almost ten years ago, Ralf Hinze has written a functional pearl on how to derive backtracking functionality for the purely functional programming language Haskell. In these notes...
145
click to vote
ASPLOS
2000
ACM
15 years 11 months ago
2000
ACM
Technological progress in integrated, low-power, CMOS communication devices and sensors makes a rich design space of networked sensors viable. They can be deeply embedded in the p...
149
click to vote
IFIP
1999
Springer
15 years 10 months ago
1999
Springer
Most control systems of flexible production cells have a hierarchical structure. They become very complicated and difficult to maintain and modify when the underlying production c...