3765 search results - page 261 / 753 » Qualitative Action Systems |
205
click to vote
ECRTS
2006
IEEE
16 years 1 months ago
2006
IEEE
In this article we provide a model for the dynamic behavior of media processing chains of tasks communicating via bounded buffers. The aim is to find the overall behavior of a cha...
199
click to vote
GLOBECOM
2006
IEEE
16 years 1 months ago
2006
IEEE
— We study coding and modulation rate adaptation problem for HARQ systems with partially observable state from cross-layer viewpoint. The rate of convolutionally coded MQAM is ad...
192
click to vote
SOSE
2006
IEEE
16 years 1 months ago
2006
IEEE
In this paper, we introduce a simple but formal service description language (ForSeL) for modelbased requirements engineering. The basic notion in ForSeL is a service representing...
210
click to vote
PRIMA
2004
Springer
16 years 18 days ago
2004
Springer
This paper introduces teams of personal agents that support users individually in electronic negotiations. These agents listen to the running negotiation and to each other to point...
195
click to vote
HICSS
2003
IEEE
16 years 16 days ago
2003
IEEE
This paper presents the time domain and timefrequency domain analysis results of incipient events in single-phase distribution transformers. This analysis will aid in the developm...