718 search results - page 95 / 144 » Extraction of Structured Programs from Specification Proofs |
121
click to vote
CAD
2004
Springer
15 years 2 months ago
2004
Springer
We address the problem of representing and processing 3D objects, described through simplicial meshes, which consist of parts of mixed dimensions, and with a non-manifold topology...
144
click to vote
WETICE
1999
IEEE
15 years 6 months ago
1999
IEEE
In this paper, we address the problem of static slicing on binary executables for the purposes of the malicious code detection in COTS components. By operating directly on binary ...
115
Voted
VLDB
1994
ACM
15 years 6 months ago
1994
ACM
One important step in integrating heterogeneous databases is matching equivalent attributes: Determining which fields in two databasesrefer to the samedata. The meaning of informa...
146
click to vote
IEAAIE
2010
Springer
15 years 10 days ago
2010
Springer
An innovative technique based on multi-objective grammar guided genetic programming (MOG3P-MI) is proposed to detect the most relevant activities that a student needs to pass a cou...
103
Voted
ISIM
2007
15 years 3 months ago
2007
The paper discusses a choice of appropriate software architecture with regards to the specifications of embedded applications as information systems particularly used in area of ra...