3799 search results - page 180 / 760 » An Engineering Approach to Formal Methods |
131
click to vote
WWW
2008
ACM
16 years 5 months ago
2008
ACM
This paper studies the problem of unified ranked retrieval of heterogeneous XML documents and Web data. We propose an effective search engine called Sailer to adaptively and versa...
139
click to vote
ESORICS
2009
Springer
16 years 5 months ago
2009
Springer
Automatic protocol reverse engineering has recently received significant attention due to its importance to many security applications. However, previous methods are all limited in...
128
click to vote
IV
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper describes research on the use of multiple views for modelling products and processes in the design of complex products. Single visual representations of design models o...
135
click to vote
CC
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. Source code transformations are a very effective method of parallelizing and improving the efficiency of programs. Unfortunately most compiler systems require implementin...
108
Voted
SIGCSE
1998
ACM
15 years 8 months ago
1998
ACM
Through the use of interpreters it is possible to teach programming languages in an analytic way without the mathematical overhead associated with other formal methods. This is a ...