1213 search results - page 206 / 243 » Traceability for System Families |
ASPLOS
2011
ACM
13 years 10 days ago
2011
ACM
Transactional memory (TM) is a promising synchronization mechanism for the next generation of multicore processors. Best-effort Hardware Transactional Memory (HTM) designs, such a...
BIOINFORMATICS
2011
13 years 10 days ago
2011
Summary: We developed a Python package, ProDy, for structurebased analysis of protein dynamics. ProDy allows for quantitative characterization of structural variations in heteroge...
DIMVA
2011
13 years 7 days ago
2011
Abstract. With the widespread adoption of Internet advertising, fraud has become a systemic problem. While the existence of clickbots—malware specialized for conducting click-fra...
SELMAS
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Engineering non-trivial open multi-agent systems is a challenging task. Our research focusses on situated multi-agent systems, i.e. systems in which agents are explicitly...
ATAL
2008
Springer
13 years 10 months ago
2008
Springer
We study the complexity of manipulation for a family of election systems derived from Copeland voting via introducing a parameter that describes how ties in head-to-head contests...