1722 search results - page 337 / 345 » Ontology Formalism Transformation |
151
click to vote
IFIP
2009
Springer
16 years 17 days ago
2009
Springer
Abstract. We present an analysis that determines when it is possible to multiplex a pair of cryptographic protocols. We present a transformation that improves the coverage of this ...
154
click to vote
OOPSLA
2009
Springer
16 years 17 days ago
2009
Springer
In this paper we describe Ginger, a new language with first class support for literate programming. Literate programming refers to a philosophy that argues computer programs shou...
183
click to vote
ICC
2008
IEEE
16 years 14 days ago
2008
IEEE
CALLAWAY, ROBERT DAVID. An Autonomic Service Delivery Platform for Service-Oriented Network Environments. (Under the direction of Michael Devetsikiotis and Yannis Viniotis.) Servi...
170
click to vote
SRDS
2006
IEEE
16 years 1 days ago
2006
IEEE
Failure models characterise the expected component failures in fault-tolerant computing. In the context of distributed systems, a failure model usually consists of two parts: a fu...
172
click to vote
DOCENG
2006
ACM
16 years 2 hour ago
2006
ACM
XPath is the standard declarative language for navigating XML data and returning a set of matching nodes. In the context of XSLT/XQuery analysis, query optimization, and XML type ...