347 search results - page 42 / 70 » From Separation Logic to First-Order Logic |
COMPSAC
2010
IEEE
13 years 5 months ago
2010
IEEE
This paper proposes MISSA, a novel middleware to facilitate the development and provision of stream-based services in emerging pervasive environments. The streambased services util...
IEEESCC
2008
IEEE
14 years 2 months ago
2008
IEEE
In this paper, we present a comprehensive study on the threats towards the coordination services for Web services business activities and explore the most optimal solution to miti...
AAAI
2000
13 years 9 months ago
2000
We discuss the problems associated with managing ontologies in distributed environments such as the Web. The Web poses unique problems for the use of ontologies because of the rap...
ICLP
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Region-based memory management is a form of compiletime memory management, well-known from the functional programming world. This paper describes a static region analysis...
ICWE
2007
Springer
14 years 1 months ago
2007
Springer
This paper presents a model-driven approach to the development of web applications based on the Ubiquitous Web Application (UWA) design framework, the Model-View-Controller (MVC) a...