Sciweavers

4966 search results - page 627 / 994
» its 2010
Sort
View
CORR
2010
Springer
139views Education» more  CORR 2010»
15 years 7 months ago
Link creation and profile alignment in the aNobii social network
The present work investigates the structural and dynamical properties of aNobii1 , a social bookmarking system designed for readers and book lovers. Users of aNobii provide informa...
Luca Maria Aiello, Alain Barrat, Ciro Cattuto, Gia...
CORR
2010
Springer
157views Education» more  CORR 2010»
15 years 7 months ago
Context Awareness Framework Based on Contextual Graph
- Nowadays computing becomes increasingly mobile and pervasive. One of the important steps in pervasive computing is context-awareness. Context-aware pervasive systems rely on info...
Tam Van Nguyen, Wontaek Lim, Huy Anh Nguyen, Deokj...
CORR
2010
Springer
137views Education» more  CORR 2010»
15 years 7 months ago
Verification of Java Bytecode using Analysis and Transformation of Logic Programs
State of the art analyzers in the Logic Programming (LP) paradigm are nowadays mature and sophisticated. They allow inferring a wide variety of global properties including terminat...
Elvira Albert, Miguel Gómez-Zamalloa, Laure...
CORR
2010
Springer
143views Education» more  CORR 2010»
15 years 7 months ago
Security Enhancement With Optimal QOS Using EAP-AKA In Hybrid Coupled 3G-WLAN Convergence Network
The third generation partnership project (3GPP) has addressed the feasibility of interworking and specified the interworking architecture and security architecture for third gener...
R. Shankar, Timothy Rajkumar, P. Dananjayan
CORR
2010
Springer
210views Education» more  CORR 2010»
15 years 7 months ago
Test Case Generation for Object-Oriented Imperative Languages in CLP
Testing is a vital part of the software development process. Test Case Generation (TCG) is the process of automatically generating a collection of test-cases which are applied to ...
Miguel Gómez-Zamalloa, Elvira Albert, Germ&...