431 search results - page 70 / 87 » Using Formal Methods to Reason about Architectural Standards |
168
click to vote
DOCENG
2006
ACM
15 years 11 months 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 ...
137
click to vote
LPNMR
1990
Springer
15 years 9 months ago
1990
Springer
We present a general theory for the use of negative premises in the rules of Transition System Specifications (TSSs). We formulate a criterion that should be satisfied by a TSS in ...
170
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
We present dcl-pc: a dynamic logic of delegation and cooperation. The logical foundation of dcl-pc is cl-pc, a logic for reasoning about cooperation in which the powers of agents ...
180
click to vote
JMLR
2012
13 years 8 months ago
2012
We study the problem of learning a group of principal tasks using a group of auxiliary tasks, unrelated to the principal ones. In many applications, joint learning of unrelated ta...
160
Voted
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
The current IETF standardization work has highlighted the feasibility of providing the users with a QoS network architecture in the framework of Integrated Services over Different...