16725 search results - page 2687 / 3345 » Engineering Software Correctness |
208
click to vote
SAC
2010
ACM
16 years 16 days ago
2010
ACM
This paper aims at pushing the clear relationship between software service composition and chemical dynamics a step forward. We developed a coordination model where services and c...
193
click to vote
ACSC
2003
IEEE
16 years 15 days ago
2003
IEEE
Time-triggered systems require a very high degree of temporal accuracy at critical stages during run time. While many software fault injection environments exist today, none of th...
189
click to vote
DFT
2003
IEEE
16 years 15 days ago
2003
IEEE
The implementation of imaging arrays for System-On-a-Chip (SOC) is aided by using faulttolerant light sensors. Fault-tolerant redundancy in an Active Pixel Sensor (APS) is obtaine...
204
click to vote
DSN
2003
IEEE
16 years 15 days ago
2003
IEEE
Arbitrary faults of a single node in a time-triggered architecture (TTA) bus topology system may cause error propagation to correct nodes and may lead to inconsistent system state...
170
click to vote
FTDCS
2003
IEEE
16 years 15 days ago
2003
IEEE
There is an increasing need within the Navy and Marine Corps for building distributed situation-aware applications that are rapidly recon gurable and survivable in the face of att...