10568 search results - page 1768 / 2114 » Computer Intelligence and Formalization |
157
click to vote
OOPSLA
2009
Springer
15 years 9 months ago
2009
Springer
The “Killer Examples” series of workshops are highly interactive workshops which have been an annual occurrence at OOPSLA since 2002. The goals of the workshop are to bring to...
147
click to vote
RAID
1999
Springer
15 years 9 months ago
1999
Springer
: I will discuss two efforts to get Intrusion Detection Systems to work together - the Common Intrusion Detection Framework (CIDF), and the IETF's working group to develop an ...
133
click to vote
PLSA
1994
15 years 9 months ago
1994
Computer language paradigms offer linguistic abstractions and proof theories for expressing program implementations. Similarly, system architectures offer the hardware abstractions...
153
click to vote
BIRTHDAY
2007
Springer
15 years 8 months ago
2007
Springer
Well understood methods exist for developing programs from formal specifications. Not only do such methods offer a precise check that certain sorts of deviations from their specifi...
128
click to vote
CHIMIT
2007
ACM
15 years 8 months ago
2007
ACM
Network-centricity is a concept under consideration as a useful paradigm for complex organizational operations, combining the strengths of bureaucracy with the innovative possibil...