Sciweavers

8492 search results - page 468 / 1699
» Modelling and Design of Multi-Agent Systems
Sort
View
MSWIM
2009
ACM
16 years 1 months ago
Designing an asynchronous group communication middleware for wireless users
We evaluate an asynchronous gossiping middleware for wireless users that propagates messages from any group member to all the other group members. This propagation can either be i...
Xuwen Yu, Surendar Chandra
DAC
2000
ACM
16 years 8 months ago
Synthesis and optimization of coordination controllers for distributed embedded systems
A main advantage of control composition with modal processes [4] is the enhanced retargetability of the composed behavior over a wide variety of target architectures. Unlike previ...
Pai H. Chou, Gaetano Borriello
WECWIS
2006
IEEE
164views ECommerce» more  WECWIS 2006»
16 years 1 months ago
Agile Decision Agent for Service-Oriented E-Commerce Systems
In a service-oriented e-commerce environment, it is a crucial task to help consumers choose desired products efficiently from a huge amount of dynamically configured product can...
Jiyong Zhang, Pearl Pu, Boi Faltings
FSMNLP
2005
Springer
16 years 17 days ago
An FST Grammar for Verb Chain Transfer in a Spanish-Basque MT System
Abstract. We are working on the construction of a Spanish-Basque (eseu) machine translation tool using the traditional transfer model based on shallow and dependency parsing. Spani...
Iñaki Alegria, Arantza Díaz de Ilarr...
FORTE
2004
15 years 8 months ago
Model-Checking Plus Testing: From Software Architecture Analysis to Code Testing
Software Model-Checking and Testing are some of the most used techniques to analyze software systems and identify hidden faults. While software model-checking allows for an exhaust...
Antonio Bucchiarone, Henry Muccini, Patrizio Pelli...