10038 search results - page 592 / 2008 » Model Checking for Managers |
239
click to vote
IAT
2006
IEEE
16 years 1 months ago
2006
IEEE
One promising application of sensor networks is object tracking. Because the movements of the tracked objects usually show repeating patterns, we propose a heterogeneous tracking ...
178
click to vote
ISPDC
2006
IEEE
16 years 1 months ago
2006
IEEE
Recently, we have proposed a comprehensive agent-based e-commerce system. While UML formalized, it lacked details how basic functions – e.g. user request to purchase a given pro...
164
click to vote
DATE
2005
IEEE
16 years 26 days ago
2005
IEEE
This paper presents a scheme to combine memory and power management for achieving better energy reduction. Our method periodically adjusts the size of physical memory and the time...
178
click to vote
VLDB
2005
ACM
16 years 21 days ago
2005
ACM
Patterns represent in a compact and rich in semantics way huge quantity of heterogeneous data. Due to their characteristics, specific systems are required for pattern management,...
198
click to vote
ADVIS
2004
Springer
16 years 19 days ago
2004
Springer
Emerging peer-to-peer services such as Freenet, Gnutella, Kazaa, and Napster provide an easy and efficient way to share resources and information. However, misuse or unfair exploit...