Sciweavers

8056 search results - page 405 / 1612
» Object Behavior Analysis
Sort
View
EUROMICRO
2002
IEEE
15 years 11 months ago
Towards an Impact Analysis for Component Based Real-Time Product Line Architectures
In this paper we propose a method for predicting the consequences of adding new components to an existing product line in the real-time systems domain. We refer to such a predicti...
Anders Wall, Magnus Larsson, Christer Norströ...
EUROCAST
2001
Springer
189views Hardware» more  EUROCAST 2001»
15 years 11 months ago
Assertion-Based Analysis of Hybrid Systems with PVS
Abstract. Hybrid systems are a well-established mathematical model for embedded systems. Such systems, which combine discrete and continuous behavior, are increasingly used in safe...
Erika Ábrahám-Mumm, Ulrich Hannemann...
DEXAW
1999
IEEE
103views Database» more  DEXAW 1999»
15 years 11 months ago
Applying Temporal Databases to Geographical Data Analysis
This paper reports an experience in which a temporal database was used to analyze the results of a survey on human behaviors and displacements in a ski resort. This survey was par...
Marie-Christine Fauvet, S. Chardonnel, Marlon Duma...
MOBICOM
1999
ACM
15 years 11 months ago
Analysis of a Metropolitan-Area Wireless Network
We analyze a seven-week trace of the Metricom metropolitan-area packet radio wireless network to find how users take advantage of a mobile environment. Such understanding is criti...
Diane Tang, Mary Baker
INFOCOM
1993
IEEE
15 years 11 months ago
An Analysis of the Congestion Effects of Link Failures in Wide Area Networks
Here we present the results of a study to determine the effects of link failures on network performance. The network studied is a virtual circuit based packet switched wide area n...
David Tipper, Joseph L. Hammond, S. Sharma, A. Khe...