783 search results - page 41 / 157 » The TextPro Tool Suite |
169
Voted
SIGMETRICS
2012
ACM
13 years 5 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...
145
Voted
SAMT
2007
Springer
15 years 9 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...
127
Voted
ESWS
2004
Springer
15 years 8 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...
135
Voted
IFM
2004
Springer
15 years 8 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...
164
Voted
MEMOCODE
2003
IEEE
15 years 8 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...