2214 search results - page 181 / 443 » complexity 2004 |
103
Voted
ATVA
2004
Springer
15 years 8 months ago
2004
Springer
We propose a novel approach to locate errors in complex counterexample of safety property. Our approach measures the distance between two state transition traces with difference o...
CAISE
2004
Springer
15 years 8 months ago
2004
Springer
In this paper, we illustrate a preliminary approach to the translation of Web data between heterogeneous formats. This work fits into a larger project whose aim is the development...
145
Voted
CBSE
2004
Springer
15 years 8 months ago
2004
Springer
Safety critical embedded real-time systems represent a class of systems that has attracted relatively little attention in research addressing component based software engineering. ...
133
click to vote
CC
2004
Springer
15 years 8 months ago
2004
Springer
When a compiler translates a procedure, it must lay out the procedure’s stack frame in a way that respects the calling convention. Many compilers respect the convention either by...
111
click to vote
CIA
2004
Springer
15 years 8 months ago
2004
Springer
The problem of encouraging trustworthy behavior in P2P online communities by managing peers’ reputations has drawn a lot of attention recently. However, most of the proposed solu...