3468 search results - page 353 / 694 » An open logical framework |
191
click to vote
CCGRID
2007
IEEE
16 years 1 months ago
2007
IEEE
: Existing Content Delivery Networks (CDNs) exhibit the nature of closed delivery networks which do not cooperate with other CDNs and in practice, islands of CDNs are formed. The l...
180
click to vote
ESCIENCE
2005
IEEE
16 years 12 days ago
2005
IEEE
The GRIA project set out to make the Grid usable by industry. The GRIA middleware is based on Web Services, and designed to meet the needs of industry for security and business-to...
222
click to vote
GLOBECOM
2008
IEEE
15 years 7 months ago
2008
IEEE
Security is a critical issue in dynamic and open distributed environments such as network-based services or wireless networks. To ensure that a certain level of security is maintai...
208
click to vote
NGC
1998
Springer
15 years 6 months ago
1998
Springer
Much progress has been made in distributed computing in the areas of distribution structure, open computing, fault tolerance, and security. Yet, writing distributed applications r...
196
click to vote
CADE
2003
Springer
16 years 7 months ago
2003
Springer
IsaPlanner is a generic framework for proof planning in the interactive theorem prover Isabelle. It facilitates the encoding of reasoning techniques, which can be used to conjectur...