5639 search results - page 268 / 1128 » Timed Abstract Non-interference |
63
Voted
CORR
2007
Springer
15 years 3 months ago
2007
Springer
In our study we analysed 3.889 records which were indexed in the Library and ion Science Abstracts (LISA) database in the research field of informetrics. We can show the core jour...
145
Voted
JSW
2007
15 years 3 months ago
2007
Abstract— We present and evaluate a novel constraintbased model transformation approach that implements a preservation-centric view. The proposed framework comprises formal prese...
142
Voted
FAC
2000
15 years 3 months ago
2000
In this paper we present a method of describing microprocessors at different levels of temporal and data abstraction. We consider microprogrammed, pipelined and superscalar proces...
137
click to vote
CORR
2010
Springer
14 years 10 months ago
2010
Springer
As more and more multi-tier services are developed from commercial off-the-shelf components or heterogeneous middleware without source code available, both developers and administr...
127
Voted
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
BDI (Belief, Desire, Intention) agent systems are very powerful, but they lack the ability to incorporate planning. There has been some previous work to incorporate planning withi...