561 search results - page 88 / 113 » VSE: Controlling the Complexity in Formal Software Developme... |
113
Voted
BIS
2009
15 years 3 months ago
2009
Knowledge-based applications are characterized by their use of machine-understandable formalizations of expert knowledge. Complex knowledge structures, and the features which explo...
118
click to vote
ISORC
2006
IEEE
15 years 8 months ago
2006
IEEE
Open multithreaded transactions constitute building blocks that allow a developer to design and structure the execution of complex distributed systems featuring cooperative and co...
BIB
2007
15 years 2 months ago
2007
Protein function is a dynamic property closely related to the conformational mechanisms of protein structure in its physiological environment. To understand and control the functi...
113
Voted
POPL
2000
ACM
15 years 5 months ago
2000
ACM
with existing analysis tools. Modular reasoning principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well understood for architectural hiera...
118
Voted
ISSTA
2006
ACM
15 years 7 months ago
2006
ACM
Static analysis has gained much attention over the past few years in applications such as bug finding and program verification. As software becomes more complex and componentize...