Sciweavers

4564 search results - page 618 / 913
» Data Integration Using ID-Logic
Sort
View
VTC
2007
IEEE
162views Communications» more  VTC 2007»
15 years 9 months ago
Improving Vertical Handover Performance with PHY-Mode Recommendations Based on Localized Link State Measurements
— Cooperation amongst heterogeneous mobile radio systems will be an indispensable feature of ‘beyond 3G’. One key mechanism thereby serving as enabling technique for system i...
Daniel Bültmann, Matthias Siebert, Jijun Luo
ATVA
2007
Springer
162views Hardware» more  ATVA 2007»
15 years 9 months ago
Verifying Heap-Manipulating Programs in an SMT Framework
Automated software verification has made great progress recently, and a key enabler of this progress has been the advances in efficient, automated decision procedures suitable fo...
Zvonimir Rakamaric, Roberto Bruttomesso, Alan J. H...
CIA
2007
Springer
15 years 9 months ago
Formal Analysis of Trust Dynamics in Human and Software Agent Experiments
Recognizing that trust states are mental states, this paper presents a formal analysis of the dynamics of trust in terms of the functional roles and representation relations for tr...
Tibor Bosse, Catholijn M. Jonker, Jan Treur, Dmytr...
OSS
2007
Springer
15 years 9 months ago
Open Source Collaboration for Fostering Off-The-Shelf Components Selection
Abstract. The use of Off-The-Shelf software components in ComponentBased Development implies many challenges. One of them is the lack of available and well-suited data to support s...
Claudia P. Ayala, Carl-Fredrik Sørensen, Re...
AICT
2006
IEEE
201views Communications» more  AICT 2006»
15 years 9 months ago
Distributed Web Service Discovery Architecture
In this paper, we present a distributed Web service discovery architecture that is designed to be reliable, flexible and scalable. The architecture is based on the concept of dis...
Brahmananda Sapkota, Dumitru Roman, Sebastian Rysz...