4520 search results - page 413 / 904 » Algebraic Techniques for Timed Systems |
203
click to vote
ESEC
1999
Springer
15 years 12 months ago
1999
Springer
Building software systems out of pre-fabricated components is a very attractive vision. Distributed Component Platforms (DCP) and their visual development environments bring this v...
205
click to vote
OSDI
2008
ACM
16 years 8 months ago
2008
ACM
The increasing use of computers for saving valuable data imposes stringent reliability constraints on storage systems. Reliability improvement via use of redundancy is a common pr...
209
click to vote
ICSEA
2006
IEEE
16 years 1 months ago
2006
IEEE
— Currently there are different approaches to develop fault-tolerant embedded software: implementing the system from scratch or using libraries respectively specialized hardware....
200
click to vote
HICSS
2009
IEEE
16 years 2 months ago
2009
IEEE
The requirement for power system operators to respond more efficiently to the stressed power system conditions that may create large number of alarms asks fort advanced alarm proc...
207
click to vote
JUCS
2008
15 years 7 months ago
2008
: There are many challenges developers face when attempting to reliably extract data from the Web. One of these challenges is the resilience of the extraction system to changes in ...