157
click to vote
EUROSPI
2013
Springer
11 years 27 days ago
2013
Springer
Abstract. Most formal assessment and evaluation techniques and standards assume that software can be analysed like any physical item. In safety-critical systems, software is an imp...
166
click to vote
ETFA
2013
IEEE
11 years 27 days ago
2013
IEEE
Today’s production plants are not conceivable without automation systems. Due to the increasing complexity of production plants and therefore of automation systems, delays and i...
151
click to vote
EMISA
2013
Springer
11 years 27 days ago
2013
Springer
: In recent years, many different modeling techniques and languages were developed in order to allow for an efficient and appropriate enterprise architecture management (EAM). Rece...
EGVE
2013
11 years 27 days ago
2013
In this paper we evaluate spatial presence and orientation in the OCTAVIS system, a novel virtual reality platform aimed at training and rehabilitation of visual-spatial cognitive...
171
click to vote
DSRT
2013
IEEE
11 years 27 days ago
2013
IEEE
—Interoperability is generally defined as the ability to exchange data and to make use of these data within the receiving system. For information technology systems this definiti...
178
click to vote
DSD
2013
IEEE
11 years 27 days ago
2013
IEEE
—Asynchronous logic is a promising technology for building the chip-level interconnect of multi-core systems. However, asynchronous circuits are vulnerable to faults. This paper ...
DMOLD
2013
11 years 27 days ago
2013
Many data mining problems can be solved better if they are augmented with additional background knowledge. This paper discusses a framework of adding background knowledge from Link...
179
click to vote
DLT
2013
11 years 27 days ago
2013
We introduce a notion of ultrametric automata and Turing machines using p-adic numbers to describe random branching of the process of computation. These automata have properties si...