138 search results - page 22 / 28 » Variables as Resource in Separation Logic |
WETICE
2006
IEEE
15 years 3 months ago
2006
IEEE
By separating the process logic from the application code process management systems (PMS) offer promising perspectives for automation and management of business processes. Howeve...
SAINT
2005
IEEE
15 years 3 months ago
2005
IEEE
Pervasive user mobility, wireless connectivity and the widespread diffusion of portable devices raise new challenges for ubiquitous service provisioning. An emerging architecture ...
ITRUST
2005
Springer
15 years 3 months ago
2005
Springer
Business Processes for Web Services are the new paradigm for lightweight enterprise integration. They cross organizational boundaries, are provided by entities that see each other ...
104
click to vote
ICWS
2007
IEEE
14 years 11 months ago
2007
IEEE
Security enforcement framework is an important aspect of any distributed system. With new requirements imposed by SOA-based business models, adaptive security enforcement on the a...
CORR
2006
Springer
14 years 9 months ago
2006
Springer
: The proliferation of Content Delivery Networks (CDN) reveals that existing content networks are owned and operated by individual companies. As a consequence, closed delivery netw...