2560 search results - page 299 / 512 » Analysis Tool for Honeypot Systems |
166
click to vote
HICSS
2007
IEEE
16 years 28 days ago
2007
IEEE
— This paper provides a bound on the number of numeric operations (fixed or floating point) that can safely be performed before accuracy is lost. This work has important implic...
151
click to vote
BIRTHDAY
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. This paper investigates how to apply the techniques on solving semi-algebraic systems to invariant generation of polynomial programs. By our approach, the generated invar...
165
click to vote
PPPJ
2003
ACM
15 years 12 months ago
2003
ACM
We describe a system to improve the quality of feedback provided to an Introductory Programming course. The system uses web technology to create a graphical tool that the tutors c...
186
click to vote
CSCWD
2008
Springer
15 years 8 months ago
2008
Springer
This paper discusses the key collaborative features of scientific visualization systems. An experiment with several groups of users has been conducted to evaluate the usability an...
153
click to vote
MASCOTS
2004
15 years 8 months ago
2004
We describe the application of a performance engineering methodology based on UML diagrams with annotations taken from the Profile for Schedulability, Performance and Time. The me...