718 search results - page 95 / 144 » Extraction of Structured Programs from Specification Proofs |
CAD
2004
Springer
13 years 8 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...
WETICE
1999
IEEE
14 years 1 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 ...
VLDB
1994
ACM
14 years 24 days 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...
IEAAIE
2010
Springer
13 years 6 months 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...
ISIM
2007
13 years 10 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...