223 search results - page 3 / 45 » Automated Implicit Computational Complexity Analysis (System... |
HASE
1997
IEEE
13 years 9 months ago
1997
IEEE
: The most important aspect of concurrent and distributed computation is the interaction between system components. Integration of components into a system requires some synchroniz...
ATAL
2007
Springer
13 years 11 months ago
2007
Springer
Agents engaged in noncooperative interaction may seek to achieve a Nash equilibrium; this requires that agents be aware of others’ rewards. Misinformation about rewards leads to...
ICTAI
2008
IEEE
13 years 11 months ago
2008
IEEE
Analyzing spend transactions is essential to organizations for understanding their global procurement. Central to this analysis is the automated classification of these transacti...
IWPC
2009
IEEE
13 years 11 months ago
2009
IEEE
Maintenance engineers need to understand component dependencies in a system to successfully modify component implementations. Interaction dependencies are especially hard to under...
VLSID
2003
IEEE
14 years 5 months ago
2003
IEEE
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...