13734 search results - page 233 / 2747 » Abstractions of data types |
161
Voted
AUSAI
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. As the information technology grows interests in the intrusion detection system (IDS), which detects unauthorized usage, misuse by a local user and modification of impor...
173
click to vote
ESWS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Automated service composition refers to automating the entire process of composing a workflow. This involves automating the discovery and selection of the service, ensuri...
167
click to vote
ML
2007
ACM
15 years 5 months ago
2007
ACM
The need for flexible forms of serialisation arises under many circumstances, e.g. for doing high-level inter-process communication or to achieve persistence. Many languages, inc...
188
click to vote
FROCOS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We present an overview of results on hierarchical and modular reasoning in complex theories. We show that for a special type of extensions of a base theory, which we call...
180
click to vote
APLAS
2010
ACM
15 years 5 months ago
2010
ACM
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...