6274 search results - page 580 / 1255 » Proofs, Programs, Processes |
223
click to vote
TAP
2007
Springer
16 years 1 months ago
2007
Springer
Many static and dynamic analyses have been developed to improve program quality. Several of them are well known and widely used in practice. It is not entirely clear, however, how ...
186
click to vote
CP
2004
Springer
16 years 23 days ago
2004
Springer
Constraint programming is rapidly becoming the technology of choice for modeling and solving complex combinatorial problems. However, users of constraint programming technology nee...
229
click to vote
SP
1999
IEEE
15 years 11 months ago
1999
IEEE
There is often the need to update an installed Intrusion Detection System (IDS) due to new attack methods or upgraded computing environments. Since many current IDSs are construct...
216
click to vote
VL
1996
IEEE
15 years 11 months ago
1996
IEEE
ToonTalkTM is a general-purpose concurrent programming system in which the source code is animated and the programming environment is like a me. Every abstract computational aspec...
210
click to vote
CMSB
2009
Springer
16 years 1 months ago
2009
Springer
A major challenge in computational systems biology is the articulation of a biological process in a form which can be understood by the biologist yet is amenable to computational e...