Sciweavers

1677 search results - page 240 / 336
» An Interactive Fur Modeling Technique
Sort
View
ITCC
2005
IEEE
14 years 4 months ago
Impact of Java Compressed Heap on Mobile/Wireless Communication
M-commerce has shown up as e-commerce in mobile and wireless communication, and now deals with on-line banking, stock trading, auctions, transactions, and mobile media. M-commerce...
Mayumi Kato, Chia-Tien Dan Lo
CONTEXT
2005
Springer
14 years 4 months ago
Goal-Directed Automated Negotiation for Supporting Mobile User Coordination
While interacting with other users in dynamic use contexts, one often aims at coordinating activities as events unfold. Such coordination can often be unplanned or impromptu. There...
Iyad Rahwan, Fernando Koch, Connor Graham, Anton K...
DAWAK
2005
Springer
14 years 4 months ago
A Decremental Algorithm for Maintaining Frequent Itemsets in Dynamic Databases
Data mining and machine learning must confront the problem of pattern maintenance because data updating is a fundamental operation in data management. Most existing data-mining alg...
Shichao Zhang, Xindong Wu, Jilian Zhang, Chengqi Z...
FASE
2005
Springer
14 years 4 months ago
A Framework for Counterexample Generation and Exploration
Model-checking is becoming an accepted technique for debugging hardware and software systems. Debugging is based on the “Check / Analyze / Fix” loop: check the system against a...
Marsha Chechik, Arie Gurfinkel
ISOLA
2004
Springer
14 years 4 months ago
A Formal Analysis of Bluetooth Device Discovery
Abstract. This paper presents a formal analysis of the device discovery phase of the Bluetooth wireless communication protocol. The performance of this process is the result of a c...
Marie Duflot, Marta Z. Kwiatkowska, Gethin Norman,...