Sciweavers

498 search results - page 5 / 100
» A Formal Foundation for XrML
Sort
View
62
Voted
CORR
2006
Springer
102views Education» more  CORR 2006»
14 years 9 months ago
A Formal Foundation for ODRL
ODRL is a popular XML-based language for stating the conditions under which resources can be accessed. The language is underspecified, and can be reasonably interpreted in a number...
Riccardo Pucella, Vicky Weissman
ICCS
2007
Springer
15 years 1 months ago
Towards a Formal Foundation for Aggregating Scientific Workflows
In e-Science, scientific workflow systems are used to share data and knowledge in collaborative experiments. In recent work we discussed the concepts of a workflow bus [1], allowin...
Frank Terpstra, Zhiming Zhao, Wico Mulder, Pieter ...
CSFW
2010
IEEE
15 years 1 months ago
Towards a Formal Foundation of Web Security
—We propose a formal model of web security based straction of the web platform and use this model to analyze the security of several sample web mechanisms and applications. We id...
Devdatta Akhawe, Adam Barth, Peifung E. Lam, John ...
FASE
2009
Springer
15 years 4 months ago
Formal Foundation for Pattern-Based Modelling
Paolo Bottoni, Esther Guerra, Juan de Lara
HICSS
2008
IEEE
135views Biometrics» more  HICSS 2008»
15 years 4 months ago
Formal Foundation of Workflow Hyperpaths and a Graph Search Algorithm for Workflow Hyperpath Generation
While executing a process, many decisions are taken at its various decision points for selecting paths. There is a need for understanding and analyzing on various paths that emana...
Sinnakkrishnan Perumal, Ambuj Mahanti