3260 search results - page 14 / 652 » MYSEA Technology Demonstration |
EUROCAST
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Computer viruses and worms are major threats for our computer infrastructure, and thus, for economy and society at large. Recent work has demonstrated that a model checki...
FLAIRS
2008
13 years 9 months ago
2008
For many educational applications such as learning tools for argumentation, structured diagrams are a suitable form of external representation. However, student-created graphs pos...
AAAI
2004
13 years 8 months ago
2004
We describe the application of plan recognition techniques to support human intelligence analysts in processing national security alert sets by automatically identifying the hosti...
DAGSTUHL
2006
13 years 8 months ago
2006
We present an FPGA-based reconfigurable platform called Erlangen Slot Machine (ESM). The main advantages of this platform are: First, the possibility for each module to access peri...
CASCON
1997
13 years 8 months ago
1997
Obtaining performance data for application or system software is typically di cult, especially when the source code is not available. While popular techniques such as event trappi...