4636 search results - page 266 / 928 » Modelling and Validation with VipTool |
IRI
2008
IEEE
14 years 2 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...
DATE
2007
IEEE
14 years 2 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, ...
IPPS
2007
IEEE
14 years 2 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...
ECOOPW
2007
Springer
14 years 2 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...
ICIAR
2007
Springer
14 years 2 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 ...