5639 search results - page 135 / 1128 » Timed Abstract Non-interference |
125
click to vote
FPL
2011
Springer
14 years 1 months ago
2011
Springer
Abstract—In the clinical applications, medical image registrations on the images taken from different times and/or through different modalities are needed in order to have an obj...
FLOPS
2006
Springer
15 years 5 months ago
2006
Springer
What will a definitive programming language look like? By definitive language I mean a programming language that gives good soat its level of abstraction, allowing computer science...
98
Voted
JFP
2008
15 years 1 months ago
2008
t two complementary improvements for abstract-interpretation-based flow analysis r-order languages: (1) abstract garbage collection and (2) abstract counting.1,2 garbage collecti...
118
Voted
WIOPT
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract--CSMA is the predominant distributed access protocol for wireless mesh networks. Originally designed for singlehop settings, in multi-hop networks CSMA can exhibit severe ...
77
Voted
FUIN
2008
15 years 1 months ago
2008
Abstract. Communicating Hierarchical Transaction-based Timed Automata have been introduced to model systems performing long