3425 search results - page 519 / 685 » A Model Driven Approach for Software Systems Reliability |
127
Voted
EMSOFT
2008
Springer
15 years 5 months ago
2008
Springer
We investigate the problem of specification based testing with dense sets of inputs and outputs, in particular with imprecision as they might occur due to errors in measurements, ...
161
Voted
EFDBS
2003
15 years 5 months ago
2003
A definition of types in an information system is given from ld abstractions through data constructs, schema and definitions to physical data values. Category theory suggests tha...
162
Voted
AGENTS
2001
Springer
15 years 8 months ago
2001
Springer
From a software engineering perspective, agent systems are a specialization of object-oriented (OO) systems, in which individual objects have their own threads of control and thei...
135
Voted
ICCD
2008
IEEE
16 years 20 days ago
2008
IEEE
— Extreme scaling practices in silicon technology are quickly leading to integrated circuit components with limited reliability, where phenomena such as early-transistor failures...
126
Voted
BIBE
2008
IEEE
15 years 10 months ago
2008
IEEE
— Recent studies in the field of molecular imaging have demonstrated the need for PET probes capable of imaging very weak activity distributions. Over this range of applications ...