2608 search results - page 161 / 522 » Subjects, Models, Languages, Transformations |
173
click to vote
SPIN
2009
Springer
16 years 24 days ago
2009
Springer
: Most intrusion detection systems deployed today apply misuse detection as analysis method. Misuse detection searches for attack traces in the recorded audit data using predefined...
174
click to vote
FOAL
2009
ACM
16 years 23 days ago
2009
ACM
We present a programming language model of the ideas behind Functional Adaptive Programming (AP-F) and our Java implementation, DemeterF. Computation in AP-F is encapsulated in se...
191
click to vote
ICFEM
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Due to new emerging areas in the communication field there is a constant need for the design of novel communication protocols. This demands techniques for a rapid and eff...
155
click to vote
CPAIOR
2009
Springer
16 years 25 days ago
2009
Springer
An attractive mechanism to specify global constraints in rostering and other domains is via formal languages. For instance, the REGULAR and GRAMMAR constraints specify constraints ...
135
click to vote
APLAS
2004
ACM
15 years 11 months ago
2004
ACM
In many occasions would one encounter the task of maintaining the consistency of two pieces of structured data that are related by some transform — synchronising bookmarks in diï...