725 search results - page 75 / 145 » Robustness testing for software components |
138
Voted
BMCBI
2010
15 years 2 months ago
2010
Background: Identification of transcription factors (TFs) involved in a biological process is the first step towards a better understanding of the underlying regulatory mechanisms...
140
Voted
RTCSA
1999
IEEE
15 years 7 months ago
1999
IEEE
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
115
Voted
FMCO
2007
Springer
15 years 8 months ago
2007
Springer
As Internet applications become larger and more complex, the task of managing them becomes overwhelming. “Abnormal” events such as software updates, failures, attacks, and hots...
134
Voted
AAAI
2006
15 years 4 months ago
2006
LOCATE is workspace layout design software that also serves as a testbed for developing and refining principles of adaptive aiding. This demonstration illustrates LOCATE's ab...
119
Voted
ACSAC
2006
IEEE
15 years 8 months ago
2006
IEEE
With the recent advent of dynamically extensible software systems, in which software extensions may be dynamically loaded into the address space of a core application to augment i...