SIGSOFT
2010
ACM
12 years 11 months ago
2010
ACM
Specification and verification of real-time systems are important research topics which have practical implications. In this work, we present a self-contained toolkit to analyze r...
LAWEB
2003
IEEE
13 years 9 months ago
2003
IEEE
Web crawler design presents many different challenges: architecture, strategies, performance and more. One of the most important research topics concerns improving the selection o...
DFG
2007
Springer
13 years 10 months ago
2007
Springer
: Over the past years, the interaction between humans and computers (HCI) evolved to one of the most important research topics in computer science. Therefore, finding a way for an...