1075 search results - page 92 / 215 » Toward a Verified Relational Database Management System |
BPM
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. In order to support business processes effectively, their implementation by a process management systems (PMS) must be as close to the real world’s processes as possib...
DEXAW
2004
IEEE
14 years 19 days ago
2004
IEEE
The concept of automating Web services, specifically the brokering activities, is an active research topic. We need a comprehensive and overarching framework that handles the disc...
DAGM
1999
Springer
14 years 1 months ago
1999
Springer
Both, the number and the size of spatial databases, such as geographic or medical databases, are rapidly growing because of the large amount of data obtained from satellite images,...
DEXAW
2008
IEEE
14 years 3 months ago
2008
IEEE
In the recent years, we are witnessing an increasing interest in the Semantic Web and the relevant technologies, which can have a significant impact in the enterprise environment ...
ICDCSW
2005
IEEE
14 years 2 months ago
2005
IEEE
Publish/subscribe is emerging as an appropriate communication paradigm for large-scale, widely-distributed systems. In this paper, we describe our work on integrating active datab...