6861 search results - page 1069 / 1373 » Security for Ubiquitous Computing |
193
click to vote
ICICIC
2006
IEEE
16 years 21 days ago
2006
IEEE
With the development of the Internet and wide applications of databases, the databases providers are worrying about their ownership of the databases. Combined with the digital wat...
216
click to vote
ICNS
2006
IEEE
16 years 21 days ago
2006
IEEE
– Service-Oriented Programming Model is a new methodology for building service-oriented applications. In the Service-Oriented Programming Model, an application is assembled from ...
155
click to vote
IPPS
2006
IEEE
16 years 21 days ago
2006
IEEE
The Java language and platform have been considered by many as natural candidate for creating grid systems. The platform-independent runtime environment, safe and high-level langu...
164
click to vote
SKG
2006
IEEE
16 years 20 days ago
2006
IEEE
With the enhancement of Grid application, Grid portal provides a unique interface for end-users to access distributed resources and are used widely in Knowledge Grid, e-Science, e...
193
Voted
ACL2
2006
ACM
16 years 19 days ago
2006
ACM
We describe an embedding of the ACL2 logic into higherorder logic. An implementation of this embedding allows ACL2 to be used as an oracle for higher-order logic provers. Categori...