3358 search results - page 542 / 672 » Dynamic Description Logics |
97
Voted
WWW
2004
ACM
16 years 1 months ago
2004
ACM
ReAgents are remotely executing agents that customize Web browsing for non-standard resource-limited clients. A reAgent is essentially a "one-shot" mobile agent that act...
107
Voted
VLSID
2001
IEEE
16 years 1 months ago
2001
IEEE
In this paper we describe a hardware design method for memory and register arrays that allows the application of formal equivalence checking for comparing a high-level register tr...
111
Voted
AINA
2007
IEEE
15 years 7 months ago
2007
IEEE
— This paper presents a computing model for resource-limited mobile devices that might be ubiquitously deployed in private and business environments. The model integrates a stron...
SMC
2007
IEEE
15 years 7 months ago
2007
IEEE
— In this paper we present a performance evaluation of interpreted and centralized implementation techniques of Petri nets. These implementation techniques allow the translation ...
98
Voted
EVOW
2007
Springer
15 years 7 months ago
2007
Springer
This paper proposes a neural network based approach for solving the resource discovery problem in Peer to Peer (P2P) networks and an Adaptive Global Local Memetic Algorithm (AGLMA)...