1715 search results - page 69 / 343 » Domain-Specific Program Checking |
119
Voted
IFIP
2009
Springer
15 years 4 days ago
2009
Springer
Security-sensitive business processes are business processes that must comply with security requirements (e.g. authorization constraints). In previous works it has been shown that ...
194
click to vote
ECOOP
2009
Springer
16 years 3 months ago
2009
Springer
Software frameworks impose constraints on how plugins may interact with them. Many of hese constraints involve multiple objects, are temporal, and depend on runtime values. Additi...
141
click to vote
SAC
2009
ACM
15 years 7 months ago
2009
ACM
The Semantic Web and its technologies become increasingly important. As more and more Semantic Web applications are being used, developing more stable Semantic Web applications be...
130
click to vote
ECEASST
2006
15 years 2 months ago
2006
Graph programs allow a visual description of programs on graphs and graph-like structures. The correctness of a graph program with respect to a pre- and a postcondition can be show...
126
click to vote
ICFP
2002
ACM
16 years 2 months ago
2002
ACM
Even when programming in a statically typed language we every now and then encounter statically untypable values; such values result from interpreting values or from communicating...