800 search results - page 126 / 160 » Towards a formalization of budgets |
141
click to vote
TPHOL
2007
IEEE
16 years 16 days ago
2007
IEEE
Cminor is a mid-level imperative programming language; there are proved-correct optimizing compilers from C to Cminor and from Cminor to machine language. We have redesigned Cminor...
135
click to vote
CCS
2007
ACM
16 years 13 days ago
2007
ACM
er presents a novel approach for concisely abstracting authentication s and for subsequently analyzing those abstractions in a sound manner, i.e., deriving authentication guarante...
186
click to vote
ICLP
2007
Springer
16 years 12 days ago
2007
Springer
This paper describes the dlvhex SPARQL plugin, a query processor for the upcoming Semantic Web query language standard by W3C. We report on the implementation of this languages usi...
185
click to vote
AICT
2006
IEEE
16 years 10 days ago
2006
IEEE
In this paper we discuss a model-based approach to the analysis of service interactions for coordinated web service compositions using obligation policies specified in the form of...
162
click to vote
IAT
2006
IEEE
16 years 9 days ago
2006
IEEE
A Multi-agent system (MAS) is an open distributed system of agents. The agents in a MAS may form certain specific groups, where agents in each group jointly engage in solving a s...