5639 search results - page 108 / 1128 » Timed Abstract Non-interference |
118
click to vote
SEFM
2009
IEEE
15 years 8 months ago
2009
IEEE
—In the modern car, electronic devices are even employed for safety-critical missions like brake control, where failures might cost human lives. Among various approaches to incre...
ADBIS
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Being able to activate triggers at timepoints reached or after time intervals elapsed has been acknowledged by many authors as a valuable functionality of a DBMS. Recentl...
100
click to vote
FM
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We present a new domain for analyzing must-equalities between address expressions. The domain is a smooth combination of Herbrand and affine equalities which enables us t...
145
Voted
IJCNN
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract— This paper proposes a combination of methodologies based on a recent development –called Extreme Learning Machine (ELM)– decreasing drastically the training time of...
133
click to vote
VTC
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract— Though cooperative communication has been intensively examined for general wireless systems, such as mobile and ad-hoc networks, it has been almost unexplored in the ca...