Titlebook: Remote Sensing from Space; Supporting Internati Bhupendra Jasani,Martino Pesaresi,Gunter Zeug Book 2009 Springer Science+Business Media B.V

fundoplication

書目名稱Remote Sensing from Space影響因子(影響力)




書目名稱Remote Sensing from Space影響因子(影響力)學科排名




書目名稱Remote Sensing from Space網(wǎng)絡公開度




書目名稱Remote Sensing from Space網(wǎng)絡公開度學科排名




書目名稱Remote Sensing from Space被引頻次




書目名稱Remote Sensing from Space被引頻次學科排名




書目名稱Remote Sensing from Space年度引用




書目名稱Remote Sensing from Space年度引用學科排名




書目名稱Remote Sensing from Space讀者反饋




書目名稱Remote Sensing from Space讀者反饋學科排名

討好美人

Clementine Burnley,Nathalie Stephenne,Dirk Buda,Daniele Ehrlichstigate the role of ontologies in the problem solving process related with the development of software. Our main conclusion is the potential of ontologies as resources for an individual to . during problem solving. We argument that suitable ontologies can support solving strategies as well as motiva

偽善

Anthony Cragg,Dirk Buda,Albert Nieuwenhuijs shadow of this ideal world. Many mathematicians find this view appealing since it is precisely this universe of ideas that is the subject of their exploration and discovery. The computer, and more specifically, software, seem perfectly suited to this viewpoint. They allow us to create our own reali

假裝是我

Stefan Voigt,Jiri Trnka,Thomas Kemper,Torsten Riedlinger,André Hussonby parallelising compilers. Various compiler directives can be used to tell these compilers where to parallelise. This paper addresses the correctness of such compiler directives for loop parallelisation. Specifically, we propose a technique based on separation logic to verify whether a loop can be

兇猛

Delilah Al-Khudhairy,Stefan Schneiderbauer,Hans-Joachim Lotz-Iwenplex activities (even in small/medium scale systems). It has been demonstrated that software models can nicely support these activities, especially because they enable the introduction of automation in the detection and refactoring steps. In our recent work we have focused on performance antipattern

搜集

Peter Zeilte (either internally, locally or over networks) using protocol stacks of ever-increasing complexity whose messages need to be translated (i.e., interpreted, generated, analyzed and transformed) by third-party systems such as services dedicated to security or interoperability. We observe that curren

不發(fā)音

Adrijana Car,Ola Dahlman,Bengt Andersson,Peter Zeilte (either internally, locally or over networks) using protocol stacks of ever-increasing complexity whose messages need to be translated (i.e., interpreted, generated, analyzed and transformed) by third-party systems such as services dedicated to security or interoperability. We observe that curren

VALID

矛盾

Andreas Wimmer,Iris Lingenfelder,Charles Beumier,Jordi Inglada,Simon J. CaseleyADLs) and their associated architectural analysis techniques suffer from several important shortcomings. This paper presents a novel approach that reconceptualizes ADLs within the model-driven engineering (MDE) paradigm to address their shortcomings. Our approach combines extensible modeling languag

instill