4285 search results - page 281 / 857 » Differential Behavioral Analysis |
177
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
The paper reports on an analysis technology based on the tracing approach to test trustworthy requirements of a distributed system. The system under test is instrumented such that...
197
click to vote
ITCC
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper presents a tool, for the analysis and regeneration of web contents, implemented through XML and Java. At the moment, the web content delivery from server to clients is ...
216
click to vote
EUROMICRO
2002
IEEE
15 years 11 months ago
2002
IEEE
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...
212
click to vote
EUROCAST
2001
Springer
15 years 11 months ago
2001
Springer
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...
162
click to vote
DEXAW
1999
IEEE
15 years 11 months ago
1999
IEEE
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...