4636 search results - page 540 / 928 » Modelling and Validation with VipTool |
191
click to vote
RAID
2004
Springer
16 years 17 days ago
2004
Springer
Anomaly detection is a promising approach to detecting intruders masquerading as valid users (called masqueraders). It creates a user profile and labels any behavior that deviates...
160
click to vote
TACAS
2004
Springer
16 years 17 days ago
2004
Springer
Abstract. The methods of Invisible Invariants and Invisible Ranking were developed originally in order to verify temporal properties of parameterized systems in a fully automatic m...
202
click to vote
HAPTICS
2003
IEEE
16 years 15 days ago
2003
IEEE
In previous papers, a passive control implementation structure is proposed for mechanical systems interacting with physical environments. The proposed implementation structure enf...
115
click to vote
ISCAS
2003
IEEE
16 years 15 days ago
2003
IEEE
The designer needs simple and accurate models to estimate noise in MOS transistors as a function of their size, bias point and technology. In this work, we present a simple, conti...
175
click to vote
FORMATS
2003
Springer
16 years 13 days ago
2003
Springer
Testing is the primary software validation technique used by industry today, but remains ad hoc, error prone, and very expensive. A promising improvement is to automatically genera...