1538 search results - page 100 / 308 » Programming with Patterns |
116
click to vote
INFORMATICALT
2007
15 years 19 days ago
2007
The paper presents, first, the Structural Blanks (SB) approach, then a method to compose loop programs. SB is an approach for expressing computations based on recurrence relations...
IJNSEC
2007
15 years 19 days ago
2007
Intrusion detection is the process of monitoring the events occurring in a computer system or network and analyzing them for signs of intrusions, defined as attempts to compromis...
OOPSLA
2007
Springer
15 years 6 months ago
2007
Springer
Ownership domain annotations express and enforce design intent related to object encapsulation and communication directly in real object-oriented code. First, this work will make ...
121
click to vote
APPT
2007
Springer
15 years 2 months ago
2007
Springer
Dynamic programming is a widely applied algorithm design technique in many areas such as computational biology and scientific computing. Typical applications using this technique a...
100
click to vote
SIGSOFT
1994
ACM
15 years 4 months ago
1994
ACM
In this paper we present an approach, based on data ow analysis, that can provide cost-e ective analysis of concurrent programs with respect to explicitly stated correctness prope...