Sciweavers

4767 search results - page 561 / 954
» Structures for Abstract Rewriting
Sort
View
EUROPAR
2004
Springer
16 years 6 days ago
Load and Memory Balanced Mesh Partitioning for a Parallel Envelope Method
Abstract. We use a parallel direct solver based on the Schur complement method for solving large sparse linear systems arising from the finite element method. A domain decompositi...
Ondrej Medek, Pavel Tvrdík, Jaroslav Kruis
EUSAI
2004
Springer
16 years 6 days ago
Super-distributed RFID Tag Infrastructures
Abstract. With the emerging mass production of very small, cheap Radio Frequency Identification (RFID) tags, it is becoming feasible to deploy such tags on a large scale. In this ...
Jürgen Bohn, Friedemann Mattern
213
Voted
EUSAI
2004
Springer
16 years 6 days ago
End-User Configuration of Ambient Intelligence Environments: Feasibility from a User Perspective
Abstract. We report research into concepts and technology for enabling endusers to configure Ambient Intelligent environments. In this paper we focus on the feasibility and accepta...
Panos Markopoulos, Irene Mavrommati, Achilles Kame...
EWSA
2004
Springer
16 years 6 days ago
Model Checking for Software Architectures
Abstract. Software architectures are engineering artifacts which provide high-level descriptions of complex systems. Certain recent architecture description languages (Adls) allow ...
Radu Mateescu
FIDJI
2004
Springer
16 years 6 days ago
Coordinated Anonymous Peer-to-Peer Connections with MoCha
Abstract. MoCha is an exogenous coordination middleware for distributed communication based on mobile channels. Channels allow anonymous, and point-to-point communication among nod...
Juan Guillen Scholten, Farhad Arbab