Sciweavers

2753 search results - page 336 / 551
» An architecture model for supporting application integration...
Sort
View
KBSE
2010
IEEE
15 years 5 months ago
Solving string constraints lazily
Decision procedures have long been a fixture in program analysis, and reasoning about string constraints is a key element in many program analyses and testing frameworks. Recent ...
Pieter Hooimeijer, Westley Weimer
IS
2006
15 years 6 months ago
The MurMur project: Modeling and querying multi-representation spatio-temporal databases
Successful information management implies the ability to design accurate representations of the real world of interest, in spite of the diversity of perceptions from the applicati...
Christine Parent, Stefano Spaccapietra, Esteban Zi...
CORR
2008
Springer
145views Education» more  CORR 2008»
15 years 6 months ago
Decentralized Overlay for Federation of Enterprise Clouds
This chapter describes Aneka-Federation, a decentralized and distributed system that combines enterprise Clouds, overlay networking, and structured peer-to-peer techniques to crea...
Rajiv Ranjan, Rajkumar Buyya
156
Voted
ESWS
2007
Springer
16 years 26 days ago
Semantic Business Process Repository
Semantic Business Process Management (SBPM) utilizes semantic technologies to achieve more automation throughout the BPM lifecycle. An integral part of the SBPM infrastructure is a...
Zhilei Ma, Branimir Wetzstein, Darko Anicic, Stijn...
WAIM
2010
Springer
15 years 5 months ago
Trustworthy Information: Concepts and Mechanisms
We used to treating information received (from recognized sources) as trustworthy, which is unfortunately not true because of attacks. The situation can get worse with the emerging...
Shouhuai Xu, Haifeng Qian, Fengying Wang, Zhenxin ...