4498 search results - page 467 / 900 » How to Invent Functions |
171
click to vote
P2P
2005
IEEE
16 years 15 days ago
2005
IEEE
In this paper, we demonstrate the application of Trusted Computing to securing Peer-to-Peer (P2P) networks. We identify a central challenge in providing many of the security servi...
172
click to vote
TPHOL
2005
IEEE
16 years 15 days ago
2005
IEEE
Wouldn’t it be nice to be able to conveniently use ordinary real number expressions within proof assistants? In this paper we outline how this can be done within a theorem provin...
213
click to vote
WORDS
2005
IEEE
16 years 14 days ago
2005
IEEE
Web services (WS) provide a technology for integrating applications over the Internet. This paper proposes a multi-agent conceptual model of WS and an agent-oriented modelling and...
162
click to vote
APGV
2005
ACM
16 years 14 days ago
2005
ACM
The spatio-temporal characteristics of the human visual system vary widely across the visual field. Many studies that have investigated these characteristics were limited to the ...
162
click to vote
CC
2005
Springer
16 years 14 days ago
2005
Springer
Abstract. Many compiler optimization techniques depend on the ability to calculate the number of integer values that satisfy a given set of linear constraints. This count (the enum...