Sciweavers

6057 search results - page 939 / 1212
» A system architecture for pervasive computing
Sort
View
164
Voted
ATAL
2004
Springer
16 years 3 days ago
A Complete and Decidable Logic for Resource-Bounded Agents
We propose a context-logic style formalism, Timed Reasoning Logics (TRL), to describe resource-bounded reasoners who take time to derive consequences of their knowledge. The seman...
Natasha Alechina, Brian Logan, Mark Whitsey
EDOC
2003
IEEE
15 years 12 months ago
Integrating CBSE, SoC, MDA, and AOP in a Software Development Method
Component-Based Software Engineering, Separation of Concerns, Model-Driven Architecture, and Aspect-Oriented Programming are four active research areas that have been around for s...
Raul Silaghi, Alfred Strohmeier
VLSID
2003
IEEE
104views VLSI» more  VLSID 2003»
15 years 12 months ago
Interfacing Cores with On-chip Packet-Switched Networks
With the emergence of the packet-switched networks as a possible system-on-chip (SoC) communication paradigm, the design of network-on-chips (NoC) has provided a challenge to the ...
Praveen Bhojwani, Rabi N. Mahapatra
DEBS
2003
ACM
15 years 12 months ago
Peer-to-peer overlay broker networks in an event-based middleware
Overlay broker networks are an important part of an eventbased middleware. In this paper, we investigate the requirements of overlay broker networks and argue that using peer-to-p...
Peter R. Pietzuch, Jean Bacon
ICCS
2003
Springer
15 years 12 months ago
Performance Analysis of a Parallel Application in the GRID
Performance analysis of real applications in clusters and GRID like environments is essential to fully exploit the performance of new architectures. The key problem is the deepenin...
Holger Brunst, Edgar Gabriel, Marc Lange, Matthias...