5451 search results - page 743 / 1091 » Typed Operational Semantics |
189
click to vote
IWQOS
2005
Springer
16 years 3 days ago
2005
Springer
In this paper, we study the performance of opportunistic scheduling for downlink data transmissions with type-II packet-combining hybrid ARQ in a multirate cellular network for a f...
182
Voted
PACT
2005
Springer
16 years 3 days ago
2005
Springer
Agent technology is often claimed to be the most natural approach for automating e-commerce business processes. Despite these claims, up till now, the most successful e-commerce sy...
175
click to vote
SG
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. We present a method to generate glyphs which convey complex information in graphical form. A glyph has a linear geometry which is specified using geometric operations, e...
157
click to vote
SOCO
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Behavioral specifications that are integrated into component interfaces are an important means for the correct construction of component-based systems. Currently, such s...
185
click to vote
ACRI
2004
Springer
16 years 1 days ago
2004
Springer
This paper discusses a class of 2-dimensional asynchronous cellular automata with conservation of mass, for the formation of patterns in groups. The previous study reported a metho...