7530 search results - page 1275 / 1506 » Design and Implementation of the YAWL System |
289
click to vote
SOSP
2007
ACM
16 years 4 months ago
2007
ACM
We propose SecVisor, a tiny hypervisor that ensures code integrity for commodity OS kernels. In particular, SecVisor ensures that only approved code can execute in kernel mode ove...
234
click to vote
CODES
2009
IEEE
16 years 2 months ago
2009
IEEE
In this paper, we investigate the use of instruction set simulators (ISS) based on binary translation to accelerate full timed multiprocessor system simulation at transaction leve...
237
click to vote
RTAS
2009
IEEE
16 years 1 months ago
2009
IEEE
Supporting uninterrupted services for distributed soft real-time applications is hard in resource-constrained and dynamic environments, where processor or process failures and sys...
211
click to vote
MKM
2009
Springer
16 years 1 months ago
2009
Springer
In this short communication we want to give an overview of how OpenMath is used in the European project “SCIEnce” [12]. The main aim of this project is to allow unified commun...
188
click to vote
SIGCOMM
2009
ACM
16 years 1 months ago
2009
ACM
SMS-based web search is different from traditional web search in that the final response to a search query is limited to a very small number of bytes (typically 1-2 SMS messages...