220
click to vote
FORTE
2013
11 years 27 days ago
2013
Abstract. Since software systems are becoming increasingly more concurrent and distributed, modeling and analysis of interactions among their components is a crucial problem. In se...
EUVIP
2013
11 years 27 days ago
2013
Recently, image completion or inpainting has become a hot research topic because of its extensive applications in various real-world applications. Many papers have been published ...
300
click to vote
EUSFLAT
2013
11 years 27 days ago
2013
As an application of the dual equivalence between the category of L-spatial C-objects and the category of L-sober C-M-L-spaces, it is shown in this paper that for a fixed augment...
157
Voted
EUROSPI
2013
Springer
11 years 27 days ago
2013
Springer
Abstract. Most formal assessment and evaluation techniques and standards assume that software can be analysed like any physical item. In safety-critical systems, software is an imp...