ISSTA
2006
ACM
13 years 11 months ago
2006
ACM
One of the main cost factors in software development is the detection and removal of defects. However, the relationships and influencing factors of the costs and revenues of defe...
SEFM
2006
IEEE
13 years 11 months ago
2006
IEEE
We present an operational model for describing random reactive systems. Some models have already been proposed for this purpose, but they generally aim at performing global reason...
RTCSA
2006
IEEE
13 years 11 months ago
2006
IEEE
In this paper we analyze the traditional model of interrupt management and its inability to incorporate the reliability and temporal predictability demanded by real-time systems. ...
PRDC
2006
IEEE
13 years 11 months ago
2006
IEEE
Dependable systems are usually designed with multiple instances of components or logical processes, and often possess symmetries that may be exploited in model-based evaluation. T...
IROS
2006
IEEE
13 years 11 months ago
2006
IEEE
— In this paper a dynamic contact model is presented based on the Johnson-Kendall-Roberts (JKR) theory. The classical JKR model captures the contact properties for the quasi-stat...
INFOCOM
2006
IEEE
13 years 11 months ago
2006
IEEE
Abstract— While packet capture has been observed in real implementations of 802.11 devices, there is a lack of accurate models that describe the phenomenon. We present a general ...
IJCNN
2006
IEEE
13 years 11 months ago
2006
IEEE
— Oscillatory network model with controllable oscillator dynamics and self-organized dynamical coupling has been created for synchronization-based image processing. The model was...
IISWC
2006
IEEE
13 years 11 months ago
2006
IEEE
Workload characterization involves the understanding of the relationship between workload configurations and performance characteristics. To better assess the complexity of worklo...
ICRA
2006
IEEE
13 years 11 months ago
2006
IEEE
— This paper presents a new mathematical model for the human behavior called Stochastic Switched Linear Dynamical (SS-LD) model. The SS-LD model can be regarded as a natural exte...
ICRA
2006
IEEE
13 years 11 months ago
2006
IEEE
— We present a systematic method for constructing 3-D models of large outdoor sites. The method is designed for a mobile robot platform and incorporates automated acquisition of ...