4099 search results - page 640 / 820 » A Framework for Interactive Proof |
116
click to vote
RTCSA
2000
IEEE
15 years 9 months ago
2000
IEEE
Large-scale distributed real-time systems are increasingly difficult to analyze within the Rate Monotonic Analysis framework. This is due partly to their heterogeneity, complex i...
139
click to vote
CSCW
2000
ACM
15 years 8 months ago
2000
ACM
Social resources like trust and shared identity make it easier for people to work and play together. Such social resources are sometimes referred to as social capital. Thirty year...
144
click to vote
ATAL
2000
Springer
15 years 8 months ago
2000
Springer
In this paper, we describe a framework to program open societies of concurrently operating agents. The agents maintain a subjective theory about their environment and interact with...
139
click to vote
RIDE
1999
IEEE
15 years 8 months ago
1999
IEEE
One of the problems faced by an organisation participating in a virtual enterprise is how to specify internal and external aspects of the organisation in terms of the organisation...
136
click to vote
ASPDAC
1998
ACM
15 years 8 months ago
1998
ACM
This paper presents a new design assistant for analog integrated circuits. The interactive tool is implemented in the Design Framework II of Cadence and supports the designer d...