RTA
2010
Springer
14 years 6 months ago
2010
Springer
The K framework, based on rewriting logic semantics, provides a powerful logic for defining the semantics of programming languages. While most work in this area has focused on de�...
ASWEC
2008
IEEE
14 years 9 months ago
2008
IEEE
Policy based management in Service Oriented Architecture (SOA) allows organizations to apply rules and regulations on their business processes. Policy has long been employed in th...