3522 search results - page 453 / 705 » Modeling and Aspect Weaving |
157
click to vote
ISCC
2000
IEEE
15 years 11 months ago
2000
IEEE
In thispaper we present an adaptive technique that combines forward error correction (FEC) with channel state estimation (CSE)and automatic repeat request (ARQ)for packet loss rec...
145
click to vote
VLSID
2000
IEEE
15 years 11 months ago
2000
IEEE
The action systems framework has recently been applied to the area of synchronous VLSI design. In this paper, we present a set of concepts necessary in the formal design of synchr...
180
click to vote
AMAST
2000
Springer
15 years 11 months ago
2000
Springer
In the paper we present an ACP-like process algebra which can be used to model both probabilistic and time behaviour of parallel systems. This process algebra is obtained by extens...
176
click to vote
POPL
1999
ACM
15 years 11 months ago
1999
ACM
Notions of program dependency arise in many settings: security, partial evaluation, program slicing, and call-tracking. We argue that there is a central notion of dependency commo...
196
click to vote
HICSS
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper presents a judgement and decision making analysis of collaborative problem solving. This analysis is done with respect to the Raven and CoRaven decision-making tools fo...