249 search results - page 17 / 50 » Validating a Web Service Security Abstraction by Typing |
COMMA
2010
13 years 2 months ago
2010
Abstract. Software tools for working with argument generally exist as large systems that wrap their entire feature set in the application as a whole. This approach, while perfectly...
DSOM
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Web Services is an XML-based technology that has attracted significant attention for building distributed Internet services. There have also been significant efforts tryi...
HPDC
1998
IEEE
13 years 12 months ago
1998
IEEE
In this paper, we argue for the power of providing a common set of OS services to wide area applications, including mechanisms for resource discovery, a global namespace, remote p...
WOTE
2010
13 years 5 months ago
2010
Abstract. While electronic elections promise the possibility of convenient, efficient and secure facilities for recording and tallying votes, recent studies have highlighted inadeq...
WETICE
2005
IEEE
14 years 1 months ago
2005
IEEE
System theory propagates the use of models which e level of abstraction to cope with complexity, evolving out of variety and connectivity. Different modeling techniques have been ...