5550 search results - page 580 / 1110 » Different Approaches to Proof Systems |
175
click to vote
SAC
2003
ACM
16 years 16 days ago
2003
ACM
Many information systems are used in a problem solving context. Examples are travel planning systems, catalogs in electronic commerce, or agenda planning systems. They can be made...
176
Voted
ANSS
2000
IEEE
15 years 11 months ago
2000
IEEE
Software systems are known to suffer from outages due to transient errors. Recently, the phenomenon of “software aging”, one in which the state of the software system degrades...
201
click to vote
JSS
2006
15 years 7 months ago
2006
When architecting dependable systems, in addition to improving system dependability by means of construction (fault-tolerant and redundant mechanisms, for instance), it is also im...
220
Voted
SAMOS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract--Embedded systems contain a wide variety of processors. Economical and technological factors favor systems made of a combination of diverse but programmable processors. So...
228
Voted
TSMC
2011
15 years 2 months ago
2011
—Developmental robotics is also known as epigenetic robotics. We propose in this paper that there is one substantial difference between developmental robotics and epigenetic robo...