7393 search results - page 184 / 1479 » Synthesis-for-testability using transformations |
139
Voted
VMCAI
2010
Springer
16 years 23 days ago
2010
Springer
This paper investigates relative precision and optimality of analyses for concurrent probabilistic systems. Aiming at the problem at the heart of probabilistic model checking ? com...
119
Voted
SOSP
2003
ACM
16 years 12 days ago
2003
ACM
We describe an evolutionary path that allows operating systems to be used in a more flexible and appropriate manner by higher-level services. An infokernel exposes key pieces of ...
140
Voted
XSYM
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Recently it was shown that existing general-purpose inductive logic programming systems are useful for learning wrappers (known as L-wrappers) to extract data from HTML d...
145
click to vote
XSYM
2004
Springer
15 years 8 months ago
2004
Springer
We show that it is possible to extend a general-purpose programming language with a convenient high-level data-type for manipulating XML documents while permitting (1) precise stat...
129
Voted
ICMCS
1999
IEEE
15 years 7 months ago
1999
IEEE
The aim of this demonstration is to present the ongoing performance of our R. and D. watermarking scheme software. The proposed illustrations cover a large panel of original image...