Sciweavers

16 search results - page 4 / 4
» Toped: enabling end-user programmers to validate data
Sort
View
135
Voted
ICFEM
2009
Springer
15 years 10 months ago
Combining Static Model Checking with Dynamic Enforcement Using the Statecall Policy Language
Internet protocols encapsulate a significant amount of state, making implementing the host software complex. In this paper, we define the Statecall Policy Language (SPL) which pr...
Anil Madhavapeddy