3765 search results - page 337 / 753 » Formal Methods for Systems Engineering Behavior Models |
207
click to vote
CONCUR
2012
Springer
13 years 9 months ago
2012
Springer
Networks of timed automata (NTA) are widely used to model distributed real-time systems. Quite often in the literature, the automata are allowed to share clocks. This is a problem ...
210
click to vote
PLDI
2004
ACM
16 years 5 days ago
2004
ACM
The design of concurrent programs is error-prone due to the interaction between concurrently executing threads. Traditional automated techniques for finding errors in concurrent ...
194
click to vote
CCECE
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper presents a forgetting factor scheme for variable step-size affine projection algorithms (APA). The proposed scheme uses a forgetting processed input matrix as the projec...
162
click to vote
EDOC
2008
IEEE
16 years 1 months ago
2008
IEEE
The cost of a telecom service development is correlated to the discontinuity and the complexity of the process. To solve this problem, we propose a method dedicated to telecom ser...
183
click to vote
FLAIRS
2000
15 years 8 months ago
2000
Many knowledge acquisition approaches have been proposed to minimize the cognitive effort in knowledgebased system construction. The knowledge acquisition approach proposed here p...