Sciweavers

3330 search results - page 421 / 666
» software 2010
Sort
View
162
Voted
TCOM
2010
162views more  TCOM 2010»
14 years 11 months ago
Design of Fair Weights for Heterogeneous Traffic Scheduling in Multichannel Wireless Networks
Fair weights have been implemented to maintain fairness in recent resource allocation schemes. However, designing fair weights for multiservice wireless networks is not trivial bec...
Mehri Mehrjoo, Mohamad Khattar Awad, Mehrdad Diana...
188
Voted
TCOM
2010
162views more  TCOM 2010»
14 years 11 months ago
RFID Reader Receivers for Physical Layer Collision Recovery
Abstract--Arbitration and scheduling of multiple tags in stateof-the-art Radio Frequency Identification (RFID) systems is accomplished on the medium access control layer. Currently...
Christoph Angerer, Robert Langwieser, Markus Rupp
ECRA
2002
129views more  ECRA 2002»
15 years 4 months ago
A formal approach to negotiating agents development
This paper presents a formal and executable approach to capture the behaviour of parties involved in a negotiation. A party is modeled as a negotiating agent composed of a communi...
Marlon Dumas, Guido Governatori, Arthur H. M. ter ...
EUROMED
2010
15 years 3 months ago
Modeling Procedural Knowledge: A Generative Modeler for Cultural Heritage
Within the last few years generative modeling techniques have gained attention especially in the context of cultural heritage. As a generative model describes a rather ideal object...
Christoph Schinko, Martin Strobl, Torsten Ullrich,...
ENTCS
2010
103views more  ENTCS 2010»
15 years 2 months ago
Model Testing Asynchronously Communicating Objects using Modulo AC Rewriting
Testing and verification of asynchronously communicating objects in open environments are challenging due to non-determinism. We explore a formal approach for black-box testing by...
Olaf Owe, Martin Steffen, Arild B. Torjusen