5639 search results - page 723 / 1128 » Timed Abstract Non-interference |
163
Voted
TIC
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. A type-based certifying compiler maps source code to machine code and target-level type annotations. The target-level annotations make it possible to prove easily that th...
145
click to vote
ASWC
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. Nowadays, the demand on querying and searching the Semantic Web is increasing. Some systems have adopted IR (Information Retrieval) approaches to index and search the Sem...
190
click to vote
ATC
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. Scheduling the execution of multiple concurrent tasks on shared resources such as CPUs and network links is essential to ensuring the reliable operation of many autonomic...
172
Voted
APN
2006
Springer
2006
Springer
From Petri Nets to Differential Equations - An Integrative Approach for Biochemical Network Analysis
15 years 7 months ago
Abstract. We report on the results of an investigation into the integration of Petri nets and ordinary differential equations (ODEs) for the modelling and analysis of biochemical n...
120
click to vote
GIL
2004
15 years 6 months ago
2004
Abstract: Interdisciplinary research projects with environmental focus need an information technology which is capable of describing the flow of minerals and other substances with ...