1481 search results - page 178 / 297 » Enriching the Software Development Process by Formal Methods |
134
click to vote
IEE
2007
15 years 4 months ago
2007
Software development techniques are continuously evolving with the goal of solving the main problems that still affect the building and maintenance of software systems: time, cost...
144
Voted
FOSSACS
2009
Springer
15 years 10 months ago
2009
Springer
Bisimulation between processes has been proven a successful method for formalizing security properties. We argue that in certain cases, a scheduler that has full information on the...
129
click to vote
JDS
2007
15 years 3 months ago
2007
This paper describes the development of a decision support tool, an adoption assessment matrix based on critical adoption factors, that addresses a need in industry; namely, to im...
123
click to vote
BMCBI
2005
15 years 4 months ago
2005
Background: Many protein families have undergone functional divergence after gene duplications such that current subgroups of the family carry out overlapping but distinct biologi...
117
click to vote
COMPSAC
2005
IEEE
15 years 9 months ago
2005
IEEE
Mobile software industry is suffering from the illegal usage of the software. PKI will not be a solution for small software distribution. We introduce a lightweight but safe metho...