1588 search results - page 163 / 318 » Modular action language |
135
click to vote
SAS
2004
Springer
15 years 9 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...
121
click to vote
DISCEX
2003
IEEE
15 years 9 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...
130
click to vote
GI
2009
Springer
15 years 8 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...
110
click to vote
ASPLOS
2000
ACM
15 years 8 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...
112
click to vote
IFIP
1999
Springer
15 years 8 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...