4897 search results - page 161 / 980 » Trust Modeling for Peer-to-Peer Based Computing Systems |
136
click to vote
FM
2003
Springer
15 years 9 months ago
2003
Springer
Software systems are often model checked by translating them into a directly model-checkable formalism. Any serious software system requires application of compositional reasoning ...
189
click to vote
ABIALS
2008
Springer
15 years 10 months ago
2008
Springer
Abstract. Human action is goal-directed and must thus be guided by anticipations of wanted action effects. How anticipatory action control is possible and how it can emerge from ex...
135
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Resource management and scheduling plays a crucial role in achieving high utilization of resources in grid computing environments. Due to heterogeneity of resources, scheduling an...
139
click to vote
RTCSA
2003
IEEE
15 years 9 months ago
2003
IEEE
Abstract. This paper proposes “Zero-stop Authentication” system, which requires no intentional interactions between users and authentication applications. Our Zero-stop Authent...
122
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
In this paper, we present for the first time the fingerprint IRCAM system for audio identification in streams. The baseline system relies on a double-nested Short Time Fourier ...