3676 search results - page 486 / 736 » Scalable component abstractions |
168
click to vote
FROCOS
2005
Springer
16 years 6 days ago
2005
Springer
We define a general notion of a fragment within higher order type theory; a procedure for constraint satisfiability in combined fragments is outlined, following Nelson-Oppen sche...
176
click to vote
FSE
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Algebraic attacks on stream ciphers apply (at least theoretically) to all LFSR-based stream ciphers that are clocked in a simple and/or easily predictable way. One intere...
160
click to vote
ISNN
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Aiming at vehicle tracking with a single moving camera for autonomous driving, this paper presents a strategy of online feature selection combined with related process fr...
163
click to vote
KES
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Currently, the major focus on the network security is securing individual components as well as preventing unauthorized access to network service. In this paper, we propo...
170
click to vote
MIS
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. This work proposes an approach for managing multimedia information associated to 3D environments navigated by the user. The influence of context (location, user profile, ...