859 search results - page 38 / 172 » Behaviour Analysis of Distributed Systems Using the Tracta A... |
CSB
2004
IEEE
13 years 11 months ago
2004
IEEE
A great deal of recent research has focused on the challenging task of selecting differentially expressed genes from microarray data (`gene selection'). Numerous gene selecti...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
In this paper, we present an evaluation of the Ethernet traffic for host and attendees of the popular opensource web conferencing system DimDim. While traditional Internet-centric...
IPPS
2005
IEEE
14 years 1 months ago
2005
IEEE
Air Traffic Control is an important application with demanding real-time database processing requirements. Systems that have been implemented using current approaches have typical...
ICCAD
2001
IEEE
14 years 4 months ago
2001
IEEE
This paper presents a new methodology for system-level power and performance analysis of wireless multimedia systems. More precisely, we introduce an analytical approach based on ...
SIGSOFT
2007
ACM
14 years 8 months ago
2007
ACM
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...