3868 search results - page 326 / 774 » Open Systems in TLA |
220
Voted
ISSRE
2008
IEEE
16 years 1 months ago
2008
IEEE
For many safety-critical systems a safety case is built as part of the certification or acceptance process. The safety case assembles evidence to justify that the design and imple...
196
Voted
WIMOB
2008
IEEE
16 years 1 months ago
2008
IEEE
The integration of different wireless access technologies combined with the huge characteristic diversity of supported services in next-generation systems creates a real heterogen...
184
Voted
IWPC
2007
IEEE
16 years 1 months ago
2007
IEEE
An approach to recover/discover traceability links between software artifacts via the examination of a software system’s version history is presented. A heuristic-based approach...
154
click to vote
FOSSACS
2007
Springer
16 years 1 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...
173
Voted
IFIP
2007
Springer
16 years 1 months ago
2007
Springer
Supervisory control and data acquisition (SCADA) systems are widely used to monitor and control operations in electrical power distribution facilities, oil and gas pipelines, water...