6149 search results - page 190 / 1230 » Revealing the programming process |
131
click to vote
TPHOL
1998
IEEE
15 years 7 months ago
1998
IEEE
Abstraction in a Higher-Order Logic Framework Marco Benini Sara Kalvala Dirk Nowotka Department of Computer Science University of Warwick, Coventry, CV4 7AL, United Kingdom We pres...
133
Voted
TACAS
1997
Springer
15 years 7 months ago
1997
Springer
This paper describes a compositional approach to generate the labeled transition system representing the behavior of a Lotos program by repeatedly alternating composition and reduc...
156
Voted
SCM
1998
15 years 4 months ago
1998
Software Version Control Systems (VCSs) are used to store the versions of program source code created throughout the software development cycle. The traditional purpose of such sys...
131
Voted
ICASSP
2009
IEEE
15 years 10 months ago
2009
IEEE
This paper addresses the problem of image retrieval from an encrypted database, where data confidentiality is preserved both in the storage and retrieval process. The paper focus...
116
Voted
TGC
2007
Springer
15 years 9 months ago
2007
Springer
Many techniques exist for statically computing properties of the evolution of processes expressed in process algebras. Static analysis has shown how to obtain useful results that c...