Sciweavers

1728 search results - page 237 / 346
» An approach to integration testing based on architectural de...
Sort
View
JOT
2007
169views more  JOT 2007»
14 years 9 months ago
Translating AUML Diagrams into Maude Specifications: A Formal Verification of Agents Interaction Protocols
Agents Interaction Protocols (AIPs) play a crucial role in multi-agents systems development. They allow specifying sequences of messages between agents. Major proposed protocols s...
Farid Mokhati, Noura Boudiaf, Mourad Badri, Linda ...
AHS
2007
IEEE
252views Hardware» more  AHS 2007»
15 years 4 months ago
A Hybrid Engine for the Placement of Domain-Specific Reconfigurable Arrays
Rapid-prototyping of commercial devices and the demanding requirements for flexible hardware in mobile applications have driven the raise of reconfigurable hardware. The adaptatio...
Wing On Fung, Tughrul Arslan, Sami Khawam
ADHOCNETS
2009
Springer
15 years 10 days ago
Supporting Proactive Application Event Notification to Improve Sensor Network Performance
Abstract. As wireless sensor networks gain in popularity, many deployments are posing new challenges due to their diverse topologies and resource constraints. Previous work has sho...
Christophe J. Merlin, Wendi B. Heinzelman
ICDE
2007
IEEE
173views Database» more  ICDE 2007»
14 years 11 months ago
A Hybrid Recommender System for Context-aware Recommendations of Mobile Applications
The goal of the work in this paper is towards the incorporation of context in recommender systems in the domain of mobile applications. The approach recommends mobile applications...
Wolfgang Wörndl, Christian Schüller, Rol...
IJAIT
2010
167views more  IJAIT 2010»
14 years 8 months ago
Bee Colony Optimization with Local Search for Traveling Salesman Problem
Many real world industrial applications involve finding a Hamiltonian path with minimum cost. Some instances that belong to this category are transportation routing problem, scan c...
Li-Pei Wong, Malcolm Yoke-Hean Low, Chin Soon Chon...