Sciweavers

674 search results - page 49 / 135
» Telephony in the Year 2005
Sort
View
DSS
2007
65views more  DSS 2007»
13 years 10 months ago
Using Web Services for supporting the users of wireless devices
The Web Service paradigm is currently considered as the most promising and rapidly evolving technology for developing applications in open, distributed and heterogeneous environme...
Thomi Pilioura, Stathes Hadjiefthymiades, Aphrodit...
ESWA
2007
102views more  ESWA 2007»
13 years 10 months ago
Elicitation synergy of extracting conceptual tags and hierarchies in textual document
This study develops an ontology building process for extracting conceptual tags and hierarchies in textual corpus. Though humans have been creating ontologies for many years, effi...
Yu-Liang Chi
AC
2005
Springer
13 years 9 months ago
Software model checking with SPIN
The aim of this chapter is to give an overview of the theoretical foundation and the practical application of logic model checking techniques for the verification of multi-threade...
Gerard J. Holzmann
AHSWN
2005
171views more  AHSWN 2005»
13 years 9 months ago
Topology Control and Localization in Wireless Ad Hoc and Sensor Networks
Over the last few years, novel architectures like ad hoc and sensor networks have introduced new challenges in the way the communication infrastructure must be addressed. Unlike t...
Peter Gober, Artur Ziviani, Petia Todorova, Marcel...
AIEDU
2005
93views more  AIEDU 2005»
13 years 9 months ago
The Logic-ITA in the Classroom: A Medium Scale Experiment
This paper presents the experiment and consequent evaluation of introducing the Logic-ITA in a second year tertiary undergraduate class. The Logic-ITA is a web-based Intelligent Te...
Kalina Yacef