843 search results - page 147 / 169 » Codes and Projective Multisets |
104
click to vote
SIGSOFT
2008
ACM
16 years 13 days ago
2008
ACM
Program specifications are important for many tasks during software design, development, and maintenance. Among these, temporal specifications are particularly useful. They expres...
SIGSOFT
2008
ACM
16 years 13 days ago
2008
ACM
We observed a general problem of sequential programs, which often results in design and programming errors in industrial software engineering projects, and propose a solution appr...
200
click to vote
POPL
2007
ACM
16 years 7 hour ago
2007
ACM
This paper proposes a lightweight fusion method for general recursive function definitions. Compared with existing proposals, our method has several significant practical features...
123
click to vote
SAC
2010
ACM
15 years 6 months ago
2010
ACM
A software product line (SPL) is a set of software systems with well-defined commonalities and variabilities that are developed by managed reuse of common artifacts. In this pape...
CCS
2009
ACM
15 years 6 months ago
2009
ACM
Open source software is often considered to be secure. One factor in this confidence in the security of open source software lies in leveraging large developer communities to find...