6164 search results - page 923 / 1233 » Teaching Computer Security |
170
Voted
ICNS
2006
IEEE
15 years 10 months 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 ...
122
click to vote
IPPS
2006
IEEE
15 years 10 months 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...
133
click to vote
SKG
2006
IEEE
15 years 10 months 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...
158
click to vote
ACL2
2006
ACM
15 years 10 months 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...
137
click to vote
SAC
2006
ACM
15 years 10 months ago
2006
ACM
Generative coordination is one of the most prominent coordination models for implementing open systems due to its spatial and temporal decoupling. Recently, a coordination communi...