7118 search results - page 1211 / 1424 » Electrical and Computer Engineering |
135
click to vote
FSTTCS
2004
Springer
15 years 8 months ago
2004
Springer
A self-stabilizing distributed protocol can recover from any state-corrupting fault. A self-stabilizing protocol is called adaptive if its recovery time is proportional to the numb...
119
Voted
HUC
2004
Springer
15 years 8 months ago
2004
Springer
We present an automated transportation routing system, called “Opportunity Knocks,” whose goal is to improve the efficiency, safety and independence of individuals with mild co...
ICCS
2004
Springer
15 years 8 months ago
2004
Springer
Particle compound material is the composition of different particles with inhomogeneous and non-uniform properties. Particle compound material is the most complicated engineering m...
122
click to vote
ICCS
2004
Springer
15 years 8 months ago
2004
Springer
FCA has been successfully applied to software engineering tasks such as source code analysis and class hierarchy re-organization. Most notably, FCA hematics behind the mechanism of...
118
click to vote
ICFEM
2004
Springer
15 years 8 months ago
2004
Springer
We present a novel approach for verifying safety properties of finite state machines communicating over unbounded FIFO channels that is based on applying machine learning techniqu...