135
click to vote
CORR
14 years 10 months ago
2009 Springer 
Abstract. We apply Uppaal Tiga to automatically compute adaptive scheduling strategies for an industrial case study dealing with a state-of-the-art image processing pipeline of a p...
113
Voted
CORR
14 years 10 months ago
2009 Springer 
We equip choreography-level session descriptions with a simple abstraction of a security infrastructure. Message components may be enclosed within (possibly nested) "boxes&quo...
CORR
14 years 10 months ago
2009 Springer 94
Voted
CORR
14 years 10 months ago
2009 Springer
The minimal deterministic finite automaton is generally used to determine regular languages equality. Using Brzozowski's notion of derivative, Antimirov and Mosses proposed a...
97
Voted
CORR
14 years 10 months ago
2009 Springer 
mework can be used to compare and merge models at different abstraction levels; in particular, higher-level (e.g. mobility) activities can be given a formal biological justificatio...
|
Education