2702 search results - page 29 / 541 » Practically Applicable Formal Methods |
72
Voted
ISMB
1996
14 years 11 months ago
1996
A novel theory of subtractive hybridization including (or based on) the kinetic model of this process was proposed. A computer program modeling the process of subtraction wasdevel...
103
click to vote
FMCAD
2000
Springer
15 years 1 months ago
2000
Springer
Image computation nds wide application in VLSI CAD, such as state reachability analysis in formal veri cation and synthesis, combinational veri cation, combinational and sequential...
FORTE
2004
14 years 11 months ago
2004
In this paper, we present an approach for modeling an existing web application using communicating finite automata model based on the userdefined properties to be validated. We ela...
EMISA
2009
Springer
14 years 7 months ago
2009
Springer
Abstract: Due to mergers and acquisitions as well as uncoordinated projects, application landscapes of today's organizations contain redundant applications (two or more applic...
CPM
2006
Springer
15 years 1 months ago
2006
Springer
The Range-Minimum-Query-Problem is to preprocess an array such that the position of the minimum element between two specified indices can be obtained efficiently. We present a dire...