3342 search results - page 566 / 669 » Automating Abstract Interpretation |
NOMS
2008
IEEE
14 years 4 months ago
2008
IEEE
Abstract—Web service compositions (WSC), as part of a serviceoriented architecture (SOA), have to be managed to ensure compliance with guaranteed service levels. In this context,...
RTSS
2008
IEEE
14 years 4 months ago
2008
IEEE
Abstract—We apply automata theory to specifying behavioral interfaces of objects and show how to check schedulability and compatibility of real time asynchronous objects. The beh...
SUTC
2008
IEEE
14 years 4 months ago
2008
IEEE
— In this paper we discuss the design methodology based on the service-oriented architecture and agile development principles for wireless embedded and sensor networks (WSNs). Th...
ADBIS
2008
Springer
14 years 4 months ago
2008
Springer
Abstract. We propose a new approach for enhancing collaborative information retrieval by means of incorporating positional data for a location-aware personalized retrieval process....
CSFW
2007
IEEE
14 years 4 months ago
2007
IEEE
se an abstract model of business processes for the purpose of (i) evaluating privacy policy in light of the goals of the process and (ii) developing automated support for privacy ...