1880 search results - page 319 / 376 » A Static Analysis for Beta-Binders |
HICSS
2005
IEEE
15 years 3 months ago
2005
IEEE
With the increasing complexity of information systems, it is becoming increasingly unclear as to how information system behaviors relate to stated requirements. Although requireme...
ICMCS
2005
IEEE
15 years 3 months ago
2005
IEEE
Periodicity is useful for compact representation of periodic motion and a reasonable selection of a proper temporal scale for periodic motion analysis. In this paper, we concern t...
INFOCOM
2005
IEEE
15 years 3 months ago
2005
IEEE
We consider the problem of neighbor discovery in static wireless ad hoc networks with directional antennas. We propose several probabilistic algorithms in which nodes perform rand...
SAC
2005
ACM
15 years 3 months ago
2005
ACM
We present a novel indexing schema that provides eļ¬cient nearest-neighbor queries in multimedia databases consisting of objects described by multiple feature vectors. The beneļ¬...
112
click to vote
ADAEUROPE
2005
Springer
15 years 3 months ago
2005
Springer
This paper describes the methodology used to add nonintrusive system-level fault tolerance to an electronic throttle controller. The original model of the throttle controller is a...