985 search results - page 126 / 197 » Developing Secure Web Services for Computational Portals |
PLDI
2010
ACM
15 years 9 months ago
2010
ACM
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...
PERCOM
2007
ACM
15 years 11 months ago
2007
ACM
Although mobile services can be used ubiquitously, their employment and the interaction with them are still restricted by the constraints of mobile devices. In order to facilitate...
ICDM
2005
IEEE
15 years 5 months ago
2005
IEEE
Accurate topical classification of user queries allows for increased effectiveness and efficiency in general-purpose web search systems. Such classification becomes critical if th...
ICNS
2007
IEEE
15 years 6 months ago
2007
IEEE
— In recent years Wireless Local Area Networks (WLANs) or hotspots, as they are commonly known, have emerged as a promising networking platform to extend network connectivity in ...
PARA
2004
Springer
15 years 5 months ago
2004
Springer
This contribution presents the design and implementation of a bank service, constituting a key component in a recently developed Grid accounting system solution. The Grid accountin...