158 search results - page 7 / 32 » High-Level Modeling and Analysis of TCAS |
EPEW
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. We consider wireless ad-hoc networks and implement failure detections mechanisms. These failure detectors provide elementary information for high level distributed algori...
JMIV
2010
13 years 8 months ago
2010
In this paper, we propose a new and generic methodology for the analysis of texture anisotropy. The methodology is based on the stochastic modeling of textures by anisotropic fract...
SIGSOFT
1998
ACM
14 years 2 months ago
1998
ACM
An increasingly important trend in the engineering of complex systems is the design of component integration standards. Such standards de ne rules of interaction and shared commun...
ICDM
2005
IEEE
14 years 3 months ago
2005
IEEE
We present a novel approach for clustering sequences of multi-dimensional trajectory data obtained from a sensor network. The sensory time-series data present new challenges to da...
ENTCS
2002
13 years 9 months ago
2002
This paper presents PLCTools, a formal environment for designing and simulating programmable controllers. Control models are specified with IEC FBD (Function Block Diagram), and t...