Sciweavers

7890 search results - page 181 / 1578
» The MathSAT 3 System
Sort
View
AINA
2010
IEEE
15 years 9 months ago
Empirical Analysis of Attackers Activity on Multi-tier Web Systems
—Web-based systems commonly face unique set of vulnerabilities and security threats due to their high exposure, access by browsers, and integration with databases. In this paper ...
Katerina Goseva-Popstojanova, Brandon Miller, Rist...
DEXAW
2004
IEEE
105views Database» more  DEXAW 2004»
15 years 8 months ago
Automated Japanese Essay Scoring System: Jess
We have developed an automated Japanese essay scoring system named jess. The system evaluates an essay from three features: (1) Rhetoric -- ease of reading, diversity of vocabular...
Tsunenori Ishioka, Masayuki Kameda
HYBRID
1992
Springer
15 years 8 months ago
A Formal Approach to Computer Systems Requirements Documentation
This paper demonstrates how the extended duration calculus [4] can be used to support the approach to documentation of computer systems presented by in [1]. This approach uses the ...
Marcin Engel, Marcin Kubica, Jan Madey, David Lorg...
ASPDAC
2008
ACM
120views Hardware» more  ASPDAC 2008»
15 years 7 months ago
In-vehicle vision processors for driver assistance systems
- This paper describes existing designs and future design trends of in-vehicle vision processors for driver assistance systems. First, requirements of vision processors for driver ...
Shorin Kyo, Shin'ichiro Okazaki
APVIS
2008
15 years 6 months ago
Multiple Views on System Traces
We present a new method for the visual analysis of multivariate system traces. Our method combines three perspectives: (1) a schematic diagram, (2) time series plots and (3) a sta...
A. Johannes Pretorius, Jarke J. van Wijk