Sciweavers

INAP
2005
Springer
14 years 5 months ago
Prolog Cafe : A Prolog to Java Translator System
We present the Prolog Cafe system that translates Prolog into Java via the WAM. Prolog Cafe provides multi-threaded Prolog engines. A Prolog Cafe thread seem to be conceptually an ...
Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue
INAP
2005
Springer
14 years 5 months ago
User Profiles and Matchmaking on Mobile Phones
Thomas Kleemann, Alex Sinner
ICDCIT
2005
Springer
14 years 5 months ago
Validation of Policy Integration Using Alloy
Abstract. Organizations typically have multiple security policies operating together in the same system. The integration of multiple policies might be needed to achieve the desired...
Manachai Toahchoodee, Indrakshi Ray
ICDCIT
2005
Springer
14 years 5 months ago
Analyzing Loop Paths for Execution Time Estimation
Abstract. Statically estimating the worst case execution time of a program is important for real-time embedded software. This is difficult even in the programming language level du...
Abhik Roychoudhury, Tulika Mitra, Hemendra Singh N...
ICDCIT
2005
Springer
14 years 5 months ago
Cleaning an Arbitrary Regular Network with Mobile Agents
In this paper, we consider a contaminated network with an intruder. The task for the mobile agents is to decontaminate all hosts while preventing a recontamination and to do so as ...
Paola Flocchini, Amiya Nayak, Arno Schulz
ICDCIT
2005
Springer
14 years 5 months ago
Off-Line Micro-payment System for Content Sharing in P2P Networks
— Micro-payment systems have the potential to provide non-intrusive, high-volume and low-cost pay-asyou-use services for a wide variety of web-based applications. We proposed a n...
Xiaoling Dai, John C. Grundy
ICDCIT
2005
Springer
14 years 5 months ago
Merging Clustering Algorithms in Mobile Ad Hoc Networks
Abstract. Clustering is a widely used approach to ease implementation of various problems such as routing and resource management in mobile ad hoc networks (MANET)s. We propose a n...
Orhan Dagdeviren, Kayhan Erciyes, Deniz Cokuslu
ICDCIT
2005
Springer
14 years 5 months ago
FlexiRank: An Algorithm Offering Flexibility and Accuracy for Ranking the Web Pages
The existing search engines sometimes give unsatisfactory search result for lack of any categorization. If there is some means to know the preference of user about the search resul...
Debajyoti Mukhopadhyay, Pradipta Biswas
ICDCIT
2005
Springer
14 years 5 months ago
Self-stabilizing Deterministic TDMA for Sensor Networks
An algorithm for time division multiple access (TDMA) is desirable in sensor networks for energy management, as it allows a sensor to reduce the amount of idle listening. Also, TD...
Mahesh Arumugam, Sandeep S. Kulkarni
EWMF
2005
Springer
14 years 5 months ago
Ontology-Enhanced Association Mining
Vojtech Svátek, Jan Rauch, Martin Ralbovsk&...