718 search results - page 96 / 144 » Extraction of Structured Programs from Specification Proofs |
JAR
2008
13 years 8 months ago
2008
Abstract We present an extensible encoding of object-oriented data models into higherorder logic (HOL). Our encoding is supported by a datatype package that leverages the use of th...
DATESO
2006
13 years 10 months ago
2006
Abstract. This paper describes a few ideas concerned with geographical information systems (GIS) development. Those ideas come from a GIS development project named GeKon, which is ...
SIGSOFT
2007
ACM
14 years 9 months ago
2007
ACM
Finding flaws in security protocol implementations is hard. Finding flaws in the implementations of sensor network security protocols is even harder because they are designed to p...
TOOLS
2000
IEEE
14 years 1 months ago
2000
IEEE
The standard CORBA operation invocation model supports synchronous, one-way, and deferred synchronous interactions between clients and servers. However, this model is too restrict...
ICIP
2008
IEEE
14 years 10 months ago
2008
IEEE
Sensor photo-response non-uniformity (PRNU) was introduced by Luk?as et al. [1] to solve the problem of digital camera sensor identification. The PRNU is the main component of a c...