783 search results - page 41 / 157 » The TextPro Tool Suite |
SIGMETRICS
2012
ACM
11 years 10 months ago
2012
ACM
This paper presents a benchmarking suite that measures the performance of using sockets and eXtensible Markup Language remote procedure calls (XML-RPC) to exchange intra-node mess...
SAMT
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. In this paper, we present a system framework for event detection in pedestrian and tracking applications. The system is built upon a robust computer vision approach to de...
ESWS
2004
Springer
14 years 1 months ago
2004
Springer
Web browsing is often a collaborative activity. Users involved in a joint information gathering exercise will wish to share knowledge about the web pages visited and the contents f...
IFM
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Behaviour Trees is a novel approach for requirements engineering. It advocates a graphical tree notation that is easy to use and to understand. Individual requirements ar...
MEMOCODE
2003
IEEE
14 years 1 months ago
2003
IEEE
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of syste...