7124 search results - page 227 / 1425 » Programming Languages and Operating Systems |
191
click to vote
IFIP
2007
Springer
16 years 21 days ago
2007
Springer
Process control systems (PCSs) are instrumental to the safe, reliable and efficient operation of many critical infrastructure components. However, PCSs increasingly employ commodit...
168
click to vote
EMSOFT
2006
Springer
15 years 10 months ago
2006
Springer
We designed and implemented a new programming language called Hierarchical Timing Language (HTL) for hard realtime systems. Critical timing constraints are specified within the la...
179
click to vote
ICALP
1999
Springer
15 years 10 months ago
1999
Springer
We present a calculus of mobile processes without prefix or summation, and using two different encodings we show that it can express both action prefix and guarded summation. O...