Sciweavers

1202 search results - page 140 / 241
» Sortings for Reactive Systems
Sort
View
ECRTS
2005
IEEE
16 years 11 days ago
Automated Model-Based Generation of Ravenscar-Compliant Source Code
Graphical languages of various sorts are increasingly used for the specification and the design of high-integrity real-time systems. Their coverage however does not extend with a...
Matteo Bordin, Tullio Vardanega
WETICE
2005
IEEE
16 years 9 days ago
CAFE - Collaborative Agents for Filtering E-mails
CAFE (Collaborative Agents for Filtering E-mails) is a multi-agent system to collaboratively filter spam from users’ mail stream. CAFE associates a proxy agent with each user, a...
Lorenzo Lazzari, Marco Mari, Agostino Poggi
BERTINORO
2005
Springer
16 years 8 days ago
Spatial Computing: The TOTA Approach
Spatial abstractions promise to be basic necessary ingredients for a novel “spatial computing” approach to distributed systems development and management, suitable to tackle th...
Marco Mamei, Franco Zambonelli
167
Voted
ICCS
2005
Springer
16 years 8 days ago
Dynamic Memory Management in the Loci Framework
Abstract. Resource management is a critical concern in high-performance computing software. While management of processing resources to increase performance is the most critical, e...
Yang Zhang, Edward A. Luke
153
Voted
CD
2004
Springer
16 years 4 days ago
Deploying Agents with the CORBA Component Model
In the past few years, the Multi-agent systems (MAS) area has presented an accelerated growth. New techniques and tools are constantly being proposed and several methodologies have...
Fabio Melo, Ricardo Choren, Renato Cerqueira, Carl...