7311 search results - page 179 / 1463 » Time in State Machines |
158
click to vote
ACSAC
2007
IEEE
15 years 11 months ago
2007
IEEE
The growth of the applications and services market for mobile devices is currently slowed down by the lack of a flexible and reliable security infrastructure. The development and...
100
Voted
ICARIS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This paper presents an immune-inspired adaptable error detection (AED) framework for Automated Teller Machines (ATMs). This framework two levels, one level is local to a ...
160
click to vote
AIMSA
2006
Springer
15 years 8 months ago
2006
Springer
Although speech and language processing techniques achieved a relative maturity during the last decade, designing a spoken dialogue system is still a tailoring task because of the ...
130
click to vote
ZUM
2000
Springer
15 years 8 months ago
2000
Springer
The B-Method is a state-based formal method that describes behaviour in terms of MACHINES whose states change under OPERATIONS. The process algebra CSP is an event-based formalism ...
165
Voted
ISLPED
1997
ACM
15 years 8 months ago
1997
ACM
- The objective of this paper is to provide an effective technique for accurate modeling of the external input sequences that affect the behavior of Finite State Machines (FSMs). B...