7961 search results - page 3 / 1593 » Input-Output Model Programs |
PTS
2007
13 years 8 months ago
2007
Abstract. We propose an extension of the Finite State Machine framework in distributed systems, using input/output partial order automata (IOPOA). In this model, transitions can be...
DSN
2007
IEEE
14 years 1 months ago
2007
IEEE
Dynamic Fault Trees (DFT) extend standard fault trees by allowing the modeling of complex system components’ behaviors and interactions. Being a high level model and easy to use...
CDC
2010
IEEE
13 years 2 months ago
2010
IEEE
In a wireless communication network different users share a common resource. An objective of radio resource management is to assign the resources in an effective way between the us...
PTS
1998
13 years 8 months ago
1998
In this paper we present factorized test generation techniques that can be used to generate test cases from a specification that is modelled as a labelled transition system. The t...
ICPR
2006
IEEE
14 years 8 months ago
2006
IEEE
Localizing objects in images is a difficult task and represents the first step to the solution of the object recognition problem. This paper presents a novel approach to the local...