4636 search results - page 266 / 928 » Modelling and Validation with VipTool |
115
click to vote
IRI
2008
IEEE
15 years 10 months ago
2008
IEEE
— We revisit the problem of synthesis of service composition in the context of service oriented architecture from a tree automata perspective. Comparing to existing finite state...
114
click to vote
DATE
2007
IEEE
15 years 10 months ago
2007
IEEE
Lasers can be used by hackers to situations to inject faults in circuits and induce security flaws. On-line detection mechanisms are classically proposed to counter such attacks, ...
129
click to vote
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
This study examined the interplay among processor speed, cluster interconnect and file I/O, using parallel applications to quantify interactions. We focused on a common case wher...
111
click to vote
ECOOPW
2007
Springer
15 years 10 months ago
2007
Springer
This first edition of the workshop Model-driven Software Adaptation (M-ADAPT’07) took place in the Technische Universit¨at Berlin with the International Conference ECOOP’07 i...
125
click to vote
ICIAR
2007
Springer
15 years 10 months ago
2007
Springer
This paper presents a novel approach to bimodal texture segmentation. The proposed approach features a local binary pattern-based scheme to transform bimodal textures into bimodal ...