4276 search results - page 384 / 856 » Techniques for Empirical Validation |
146
Voted
APSEC
2003
IEEE
16 years 5 days ago
2003
IEEE
The interface definition of a component in a distributed system forms the contract between the component itself and its neighbouring components regarding the use of its services....
186
click to vote
LICS
2003
IEEE
16 years 4 days ago
2003
IEEE
We show that the first-order theory of structural subtyping of non-recursive types is decidable, as a consequence of a more general result on the decidability of term powers of d...
186
Voted
ER
2003
Springer
16 years 2 days ago
2003
Springer
Many Internet-based applications have adopted XML as the standard data exchange format. These XML data are typically stored in its native form, thus creating the need to present XM...
167
Voted
DSN
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents the experiences of using a symbolic model checker to check the safety properties of a servoloop control system. Symbolic model checking has been shown to be be...
192
click to vote
ICALP
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We consider the sequence comparison problem, also known as “hidden pattern” problem, where one searches for a given subsequence in a text (rather than a string unders...