2874 search results - page 236 / 575 » Intrusion Detection: Systems and Models |
208
click to vote
RTSS
2005
IEEE
16 years 12 days ago
2005
IEEE
This paper presents a local algorithm for solving the universal parametric real-time model-checking problem. The problem may be phrased as follows: given a real-time system and te...
151
click to vote
SMC
2007
IEEE
16 years 1 months ago
2007
IEEE
— The focus of this paper is mental tension detection in speech to assist control the tension in day-to-day business such as conferences and operations in a call center. It is di...
183
click to vote
AUTOMATICA
2005
15 years 6 months ago
2005
In this paper we present a new method of interval fuzzy model identification. The method combines a fuzzy identification methodology with some ideas from linear programming theory...
179
click to vote
ICFEM
2009
Springer
16 years 1 months ago
2009
Springer
Rapid development in hardware industry has brought the prevalence of multi-core systems with shared-memory, which enabled the speedup of various tasks by using parallel algorithms....
195
click to vote
ISSTA
2009
ACM
15 years 11 months ago
2009
ACM
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...