標(biāo)題: Titlebook: Remote Sensing from Space; Supporting Internati Bhupendra Jasani,Martino Pesaresi,Gunter Zeug Book 2009 Springer Science+Business Media B.V [打印本頁] 作者: fundoplication 時(shí)間: 2025-3-21 17:12
書目名稱Remote Sensing from Space影響因子(影響力)
書目名稱Remote Sensing from Space影響因子(影響力)學(xué)科排名
書目名稱Remote Sensing from Space網(wǎng)絡(luò)公開度
書目名稱Remote Sensing from Space網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Remote Sensing from Space被引頻次
書目名稱Remote Sensing from Space被引頻次學(xué)科排名
書目名稱Remote Sensing from Space年度引用
書目名稱Remote Sensing from Space年度引用學(xué)科排名
書目名稱Remote Sensing from Space讀者反饋
書目名稱Remote Sensing from Space讀者反饋學(xué)科排名
作者: 討好美人 時(shí)間: 2025-3-21 23:13
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作者: 偽善 時(shí)間: 2025-3-22 04:26
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作者: 假裝是我 時(shí)間: 2025-3-22 04:41
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 作者: 兇猛 時(shí)間: 2025-3-22 12:38
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作者: 搜集 時(shí)間: 2025-3-22 16:53
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ā)音 時(shí)間: 2025-3-22 19:46
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 時(shí)間: 2025-3-23 01:08 作者: 矛盾 時(shí)間: 2025-3-23 03:06
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 時(shí)間: 2025-3-23 06:18 作者: 壓迫 時(shí)間: 2025-3-23 10:08
Robert Meisner,Stefan Lang,Erland Jungert,Alexander Almer,Dirk Tiede,Nils Sparwasser,Karin Mertens,Rod of . becomes dependent on the representational details of .: the more low-level the service provided by . is the higher the dependency of . on D. This dependency is known as .. Coupling in general, and representational coupling in particular, are important because they in.uence the extensibility 作者: Antagonism 時(shí)間: 2025-3-23 16:05 作者: BRIDE 時(shí)間: 2025-3-23 20:02 作者: 時(shí)代 時(shí)間: 2025-3-23 22:10
Bhupendra Jasani,Valerio Tramutoli,Nicola Pergola,Carolina Filizzola,Daniele Casciello,Teodosio Lacaroduce a specific run for non-deterministic actor or active object systems. The method is based on recording traces of events reflecting local transitions at so-called stable states during execution; i.e., states in which local execution depends on interaction with the environment. The paper formali作者: 言外之意 時(shí)間: 2025-3-24 03:29
Daniele Ehrlich,Stefan Lang,Giovanni Laneve,Sarah Mubareka,Stefan Schneiderbauer,Dirk Tiedeools provide statements to produce non-deterministic values for certain variables, thus forcing the corresponding model checker to consider . possible values for these during verification. While these statements offer an effective way of verifying programs handling basic data types and simple struct作者: CAMEO 時(shí)間: 2025-3-24 10:25 作者: ESO 時(shí)間: 2025-3-24 11:36 作者: 織布機(jī) 時(shí)間: 2025-3-24 15:06
millions of users, who belong to millions of firms and dozens of countries; the firms can be competitors and the countries might even be at war..Rather than having a central planner, we have to arrange things so that the desired behaviour emerges as a result of the self-interested action of many un作者: 腐爛 時(shí)間: 2025-3-24 19:15 作者: nephritis 時(shí)間: 2025-3-25 01:52
Book 2009ying for decades on data obtained from meteorological satellites for updates on the weather and to monitor weather-related natural disasters such as hurricanes. We now count on our personal satellite-based navigation systems to guide us to the nearest Starbucks Coffee and use web-based applications 作者: 老巫婆 時(shí)間: 2025-3-25 05:56 作者: CLAMP 時(shí)間: 2025-3-25 11:11 作者: 種類 時(shí)間: 2025-3-25 13:16
Bhupendra Jasani,Martino Pesaresi,Gunter ZeugRepresentation of high-level European knowledge and expertise in EO technology and EO data applications in the field of civil security.Coverage of a wide spectrum of civil security research issues: fr作者: 單調(diào)女 時(shí)間: 2025-3-25 18:17 作者: 莎草 時(shí)間: 2025-3-25 21:16 作者: 競選運(yùn)動(dòng) 時(shí)間: 2025-3-26 04:00
Satellite Based Information to Support European Crisis Response作者: cortisol 時(shí)間: 2025-3-26 04:39
A Novel Approach to Capacity Building for Security Applications作者: dura-mater 時(shí)間: 2025-3-26 10:28 作者: Lacunar-Stroke 時(shí)間: 2025-3-26 15:40
Can Earth Observation Help to Improve Information on Population?作者: 裝飾 時(shí)間: 2025-3-26 17:19
From Real Time Border Monitoring to a Permeability Model作者: Lignans 時(shí)間: 2025-3-26 23:59 作者: 尖牙 時(shí)間: 2025-3-27 02:10
om separation logic’s standard rules and allow a class invariant to express properties over shared memory locations (the .), independently of the permissions on these locations. In this way, a thread may break or reestablish an invariant without holding permissions to all locations in its footprint.作者: Abrupt 時(shí)間: 2025-3-27 09:01 作者: Gustatory 時(shí)間: 2025-3-27 12:05 作者: Control-Group 時(shí)間: 2025-3-27 13:44
Stefan Voigt,Jiri Trnka,Thomas Kemper,Torsten Riedlinger,André Hussononal behaviour specifications. We formally prove the correctness of our approach and we discuss automated tool support for our technique. Additionally, we also discuss how the loop iteration contracts can be compiled into specifications for the code coming out of the parallelising compiler.作者: Cpap155 時(shí)間: 2025-3-27 20:23 作者: Palpate 時(shí)間: 2025-3-27 23:22
Peter Zeil composition of message translators according to a high-level user-provided query. While the composition scheme we propose is simple, the inference of the resulting data structures is a problem that has not been solved up to now. This leads us to contribute with a novel data type inference mechanism作者: 縮影 時(shí)間: 2025-3-28 03:15
Adrijana Car,Ola Dahlman,Bengt Andersson,Peter Zeil composition of message translators according to a high-level user-provided query. While the composition scheme we propose is simple, the inference of the resulting data structures is a problem that has not been solved up to now. This leads us to contribute with a novel data type inference mechanism作者: Nefarious 時(shí)間: 2025-3-28 09:52 作者: 拋媚眼 時(shí)間: 2025-3-28 12:28
Andreas Wimmer,Iris Lingenfelder,Charles Beumier,Jordi Inglada,Simon J. Caseleyario- and risk-driven view of the executing system. This information allows an architect to compare architectural alternatives and weigh trade-offs between multiple design goals, such as system performance, reliability, and resource consumption. XTEAM provides the extensibility to easily accommodate作者: 軟膏 時(shí)間: 2025-3-28 17:03 作者: SLAY 時(shí)間: 2025-3-28 20:15
Robert Meisner,Stefan Lang,Erland Jungert,Alexander Almer,Dirk Tiede,Nils Sparwasser,Karin Mertens,R . that expresses the amount of representational coupling that is inherent to the system. Finally, we show that despite its non-quantitative nature our measure can be useful in identifying candidate methods for refactoring. We demonstrate this by applying our measure to several examples in the liter作者: PAC 時(shí)間: 2025-3-28 22:54
Einar Bjorgo,Alain Retieread explain why requirements are satisfied. In our work, we introduce a specific notion of proof, called Topological Proof. A topological proof produces a slice of the original model that justifies the property satisfaction. Because models can be incomplete, TOrPEDO supports reasoning on requirements作者: 萬花筒 時(shí)間: 2025-3-29 07:04 作者: FIG 時(shí)間: 2025-3-29 10:51
Bhupendra Jasani,Valerio Tramutoli,Nicola Pergola,Carolina Filizzola,Daniele Casciello,Teodosio Laca method, we have implemented a tool to record and replay runs, and to visualize the communication and scheduling decisions of a recorded run, for Real-Time ABS, a formally defined, rich active object language for modeling timed, resource-aware behavior in distributed systems.作者: stressors 時(shí)間: 2025-3-29 13:39 作者: defray 時(shí)間: 2025-3-29 16:55 作者: Cytology 時(shí)間: 2025-3-29 22:42
Bert van den Broek,Ralph Kiefl,Torsten Riedlinger,Klaas Scholte,Klaus Granica,Karlheinz Gutjahr,Nathh based on STAtistical model checking (PASTA). Our approach allows SASs to mitigate the uncertainty of the future environment, faster than the PMC-based approach, by producing statistically sufficient samples for verification of adaptation tactics based on statistical model checking (SMC) algorithms作者: 收到 時(shí)間: 2025-3-30 01:55
s, you have to set rules rather than micromanage outcomes..Other social sciences have a role to play too, especially the behavioural sciences; HCI testing has to be supplemented by a more principled understanding of psychology. And as software comes to pervade just about every aspect of society, sof作者: 證實(shí) 時(shí)間: 2025-3-30 06:34 作者: NAUT 時(shí)間: 2025-3-30 10:32
Analysis of Experimental ResultsBundesrepubliken ?sterreich und Deutschland. Und es hat mich zweifelsohne sowohl für die Problematik der Menschenrechte als auch der Angst und der Ohnmacht des Bürgers besonders der Umstand sensibilisiert, da? ich die H?lfte dieser fünfzig Jahre als politisch Verfolgter totalit?rer Regime verbracht 作者: Arthritis 時(shí)間: 2025-3-30 16:07 作者: 美學(xué) 時(shí)間: 2025-3-30 18:38 作者: 欲望小妹 時(shí)間: 2025-3-30 23:20 作者: GRIEF 時(shí)間: 2025-3-31 03:47
https://doi.org/10.1007/978-1-349-19456-8commercial law; comparative law; criminal justice; human rights; international law; law作者: 雕鏤 時(shí)間: 2025-3-31 08:10
Zhigang Xu,Kangze Ye,Xinhua Dong,Hongmu Han,Zhongzhen Yan,Xingxing Chen,Duoyue Liao,Haitao Wanghough the pain mechanism has been extensively studied, the functional disturbances associated are still considered simple local sensitization problems due to the initial pain..The initial surgical technique has been improved over time to allow a more complete distal dissection. The feedback of our p作者: 不能妥協(xié) 時(shí)間: 2025-3-31 10:47
The Kinetic Theory of the Width of Surface Plasmon Resonance Line in Metal Nanoparticleslled the local surface plasmon resonance band (LSPR). This phenomenon—appearance of local surface modes of oscillations inherent to free electrons at the surface of the metal nanoparticles—is of interest from both theoretical and practical points of view. The presence of enhancement of local fields
