4690 search results - page 331 / 938 » An operational semantics for Scheme |
190
click to vote
VLDB
2001
ACM
15 years 11 months ago
2001
ACM
Previous research has demonstrated that space can be saved in a MultiMedia DataBase Management System (MMDBMS) by storing some of the data items virtually, meaning they are stored...
167
click to vote
ACSAC
2001
IEEE
15 years 10 months ago
2001
IEEE
Traditionally, intrusion detection systems detect intrusions at the operating system (OS) level. In this paper we explore the possibility of detecting intrusion at the application...
167
click to vote
IFM
2000
Springer
15 years 10 months ago
2000
Springer
This paper presents a means of structuring specifications in real-time Object-Z: an integration of Object-Z with the timed refinement calculus. Incremental modification of classes ...
243
click to vote
VLDB
1991
ACM
15 years 10 months ago
1991
ACM
Multi-level transactions are a variant of open nested transactions in which the subtransactions correspond to operations at different levels of a layered system architecture. The ...
164
click to vote
BPM
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We propose a meta-meta framework architecture for supporting the behaviour based integration of two business processes. The meta-meta level provides basic integration ope...