66 search results - page 13 / 14 » IPOG: A General Strategy for T-Way Software Testing |
ASSETS
2004
ACM
14 years 2 months ago
2004
ACM
We report here on our progress on a project first described at the ASSETS 2002 conference. At that time, we had developed a prototype system in which a proxy server intermediary w...
IUI
2003
ACM
14 years 1 months ago
2003
ACM
Animated pedagogical agents offer promise as a means of making computer-aided learning more engaging and effective. To achieve this, an agent must be able to interact with the lea...
WWW
2008
ACM
14 years 9 months ago
2008
ACM
Current search mechanisms of DHT-based P2P systems can well handle a single keyword search problem. Other than single keyword search, multi-keyword search is quite popular and use...
SYSTOR
2009
ACM
14 years 3 months ago
2009
ACM
Virtualization is becoming widely deployed in servers to efficiently provide many logically separate execution environments while reducing the need for physical servers. While th...
ECMDAFA
2005
Springer
14 years 2 months ago
2005
Springer
This article presents a control flow analysis methodology based on UML 2.0 sequence diagrams (SD). In contrast to the conventional code-based control flow analysis techniques, thi...