3435 search results - page 459 / 687 » Aspect Model Unweaving |
144
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...
178
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...
175
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...
193
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...
163
click to vote
HOTOS
1999
IEEE
15 years 11 months ago
1999
IEEE
Resource management is a fundamental concept in operating system design. In recent years it has become fashionable to consider the problem as an aspect of heterogeneous support fo...