860 search results - page 46 / 172 » A Process Algebra Based Verification of a Production System |
ECBS
2007
IEEE
13 years 10 months ago
2007
IEEE
Machine learning has great utility within the context of network intrusion detection systems. In this paper, a behavior analysis-based learning framework for host level network in...
EUROSPI
2007
Springer
14 years 3 months ago
2007
Springer
Test-driven development (TDD) is entering the mainstream of software development. We examined the software development process for the purpose of evaluation of the TDD impact, with...
ICSEA
2006
IEEE
14 years 3 months ago
2006
IEEE
In recent years component-based development has in resent years become an established approach. Component-based Software Engineering (CBSE) that deals with the entire lifecycle of ...
HICSS
1997
IEEE
14 years 1 months ago
1997
IEEE
As the second generation of electronic commerce, the framework of agent based commerce is proposed. Since the communication messages and solution methods of agents are significant...
ICASSP
2011
IEEE
13 years 21 days ago
2011
IEEE
In this paper, we describe recent progress in i-vector based speaker verification. The use of universal background models (UBM) with full-covariance matrices is suggested and tho...