5639 search results - page 608 / 1128 » Timed Abstract Non-interference |
167
click to vote
WSC
1998
15 years 8 months ago
1998
In this paper, we propose two speculation-based methods for fast and accurate simulation-based performance and dependability analysis of complex systems, incorporating detailed si...
188
click to vote
CASCON
1993
15 years 8 months ago
1993
There is a signi cant di erence between documentinglarge programs and documenting small ones. By large programs we mean on the order of 1,000,000 lines, usually written by many di...
198
click to vote
ECSCW
1993
15 years 8 months ago
1993
Abstract: There is little understanding of how distributed writing groups manage their collaboration and what kinds of support are most useful. The paper presents three case studie...
170
click to vote
ICSP
1993
15 years 8 months ago
1993
Much contemporary development process research is based on analyses of process steps, their duration, and the events they propagate. Our initial research in large, mature telecomm...
165
Voted
WCE
2007
15 years 7 months ago
2007
Abstract—We are interested in the problem of multiagent systems development for risk detecting and emergency response in an uncertain and partially perceived environment. The eva...