4604 search results - page 527 / 921 » Analysis of Negotiation Dynamics |
171
click to vote
GG
2004
Springer
16 years 7 days ago
2004
Springer
Model checking is increasingly popular for hardware and, more recently, software verification. In this paper we describe two different approaches to extend the benefits of model ...
143
click to vote
IEEEPACT
2002
IEEE
15 years 11 months ago
2002
IEEE
A static memory reference exhibits a unique property when its dynamic memory addresses are congruent with respect to some non-trivial modulus. Extraction of this congruence inform...
179
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
Due to process variations in deep sub-micron (DSM) technologies, the effects of timing defects are difficult to capture. This paper presents a novel coverage metric for estimating...
179
click to vote
AOSD
2008
ACM
15 years 8 months ago
2008
ACM
One difficulty in software maintenance is that the relationship between observed program behavior and source code is not always clear. In this paper we are concerned specifically ...
184
click to vote
ATC
2008
Springer
15 years 8 months ago
2008
Springer
Dynamic collaboration environments in which team member utilize different pervasive collaboration services for their collaborative work pose many challenges for service adaptation....