837 search results - page 85 / 168 » Proof Development with OMEGA |
105
click to vote
HICSS
2007
IEEE
15 years 7 months ago
2007
IEEE
The recent emergence of web mash-ups and open source software is driving the development of new practices in software and systems development. In this paper we explore novel pract...
98
Voted
SCAM
2006
IEEE
15 years 6 months ago
2006
IEEE
Many software systems are mixed-language systems today, i.e., they bind together components defined in different programming and specification languages. Analyses and refactorin...
ECLIPSE
2005
ACM
15 years 2 months ago
2005
ACM
While Eclipse has greatly simplified the task of creating integrated development environments, creating a full-featured IDE can still take years. Fortunately, for a large categor...
87
Voted
SIGSOFT
2010
ACM
14 years 10 months ago
2010
ACM
Software construction has typically drawn on engineering metaphors like building bridges or cathedrals, which emphasize architecture, specification, central planning, and determin...
98
Voted
TCC
2009
Springer
16 years 1 months ago
2009
Springer
The concept of witness-hiding suggested by Feige and Shamir is a natural relaxation of zero-knowledge. In this paper we identify languages and distributions for which many known co...