517 search results - page 91 / 104 » Java as a systems programming language: three case studies |
IJSEKE
2006
14 years 9 months ago
2006
pecific models increase the level of abstraction used to develop large-scale component-based systems. Model-driven development (MDD) approaches (e.g., ModelIntegrated Computing and...
201
click to vote
PADL
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. PADS is a declarative language used to describe the syntax and semantic properties of ad hoc data sources such as financial transactions, server logs and scientific data ...
ICSM
2006
IEEE
15 years 3 months ago
2006
IEEE
Programming languages provide various mechanisms to support information hiding. One problem with information hiding, however, is that providing a stable interface behind which to ...
ACSD
2008
IEEE
15 years 4 months ago
2008
IEEE
PICNIC is a tool for verifying security properties of systems, namely non-interference properties of processes expressed as terms of the π-calculus with two security levels and d...
107
click to vote
ARTS
1997
Springer
15 years 2 months ago
1997
Springer
We introduce PLC-Automata as a new class of automata which are tailored to deal with real-time properties of Programmable Logic Controllers (PLCs). These devices are often used in...