標(biāo)題: Titlebook: SDL 2009: Design for Motes and Mobiles; 14th International S Rick Reed,Attila Bilgic,Reinhard Gotzhein Conference proceedings 2009 Springer [打印本頁] 作者: complicated 時(shí)間: 2025-3-21 19:22
書目名稱SDL 2009: Design for Motes and Mobiles影響因子(影響力)
書目名稱SDL 2009: Design for Motes and Mobiles影響因子(影響力)學(xué)科排名
書目名稱SDL 2009: Design for Motes and Mobiles網(wǎng)絡(luò)公開度
書目名稱SDL 2009: Design for Motes and Mobiles網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱SDL 2009: Design for Motes and Mobiles被引頻次
書目名稱SDL 2009: Design for Motes and Mobiles被引頻次學(xué)科排名
書目名稱SDL 2009: Design for Motes and Mobiles年度引用
書目名稱SDL 2009: Design for Motes and Mobiles年度引用學(xué)科排名
書目名稱SDL 2009: Design for Motes and Mobiles讀者反饋
書目名稱SDL 2009: Design for Motes and Mobiles讀者反饋學(xué)科排名
作者: Bmd955 時(shí)間: 2025-3-21 22:04
SDL 2009: Design for Motes and Mobiles978-3-642-04554-7Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 物質(zhì) 時(shí)間: 2025-3-22 02:29 作者: deactivate 時(shí)間: 2025-3-22 04:47
https://doi.org/10.1007/978-3-642-04554-7aspect-oriented modeling; aspect-oriented requirements; description languages; design; embedded systems; 作者: nuclear-tests 時(shí)間: 2025-3-22 11:59
0302-9743 en held every two years for the last three decades and is one of the most important open events in the calendar for anyone from academia or industry involved in System DesignLanguagesandmodelling technologies. It is a primary conference event for discussion of the evolution and use of these language作者: 阻撓 時(shí)間: 2025-3-22 15:53 作者: 花爭(zhēng)吵 時(shí)間: 2025-3-22 19:48
Model-Driven Construction of Embedded Applications Based on Reusable Building Blocks – An ExampleSPOTs by providing dedicated blocks to access platform-specific functionality. These building blocks can be used in combination with other blocks realizing protocols such as leader election to build more comprehensive applications. We present an example specification and discuss its automatic verification, transformation and implementation.作者: infarct 時(shí)間: 2025-3-22 22:54 作者: 步兵 時(shí)間: 2025-3-23 03:34
Model-Driven Development of Time-Critical Protocols with SDL-MDDtime-critical behavior – network-wide deterministic arbitration – using the available constructs of a high-level design language. On the other hand, we show the embedding of this high-level design into our SDL execution environment that is extended to support time-critical requirements of the introduced transfer protocols.作者: 喃喃而言 時(shí)間: 2025-3-23 06:06
A UML Profile for Goal-Oriented Modelingo the guidelines for UML profile design defined in ITU-T Recommendation Z.119. The resulting profile has been implemented in a UML 2 tool, namely IBM Rational Tau 4.0, and validated with case studies. Our experience and lessons learned are also discussed.作者: GLIDE 時(shí)間: 2025-3-23 11:23
Towards Model Based Development of Managed Networked Embedded Systems collaborative way, and that integration of the developments is facilitated by the use of models in both developments. Finally, the paper explains how the model-based development in this area facilitates the addition of manageability and auto-configuration capabilities, which are premises for adaptability.作者: Climate 時(shí)間: 2025-3-23 17:17
Towards an Integrated Quality Assessment and Improvement Approach for UML Models integrated approach to quality assessment and improvement of UML models. We assess a model with a . (FCM) based quality model, detect issues by finding smells and violated metric thresholds in UML models, and improve UML models by applying refactorings using model-to-model transformations.作者: abolish 時(shí)間: 2025-3-23 19:04 作者: intuition 時(shí)間: 2025-3-23 22:35 作者: magnate 時(shí)間: 2025-3-24 04:10
Modelling a Debugger for an Imperative Voice Control Languagen this paper, we demonstrate how a debugger can be modelled for an imperative voice control language. We show models of the debugging context, breakpoints, and stepping of voice control programs. These models are processed by a generic debugger.作者: Fester 時(shí)間: 2025-3-24 06:42
The ARC Programming Modelased agents. The implementation of the ARC programming model is responsible for mapping relatively abstract model-level parallelism to the target platform and exploiting the available processor-level parallelism.作者: gerontocracy 時(shí)間: 2025-3-24 14:11 作者: Presbycusis 時(shí)間: 2025-3-24 17:36
Model-Driven Construction of Embedded Applications Based on Reusable Building Blocks – An Exampledomain-specific libraries. Due to the mathematical rigor and completeness with which the building blocks are designed, we can provide tool support facilitating a high degree of automation in the development process. In this paper, we focus on the design of embedded Java applications executed on Sun 作者: 懶洋洋 時(shí)間: 2025-3-24 21:15
Energy-Aware System Design with SDLlities of specifying energy aspects in the system design phase, with SDL as design language. In particular, we strive for suitable abstractions, by establishing a design view that is largely platform-independent. We achieve this objective by identifying and realizing . and . as two complementary app作者: Assignment 時(shí)間: 2025-3-25 02:19
Model-Driven Development of Time-Critical Protocols with SDL-MDDotocols for the network-wide transmission of bit sequences that overcome the problem of destructive collisions. In this paper, we present the model-driven development of these protocols with SDL-MDD and its SDL tool chain. On the one hand, we show how to formally specify low-level functionality and 作者: Airtight 時(shí)間: 2025-3-25 05:02
Towards Model Based Development of Managed Networked Embedded Systems be raised during development and more advanced functionalities such as adaptability to be targeted. In applications where management and configuration are central issues, there is a need for coordination between the development of the operational system and the development of the management system.作者: miscreant 時(shí)間: 2025-3-25 07:45 作者: 門閂 時(shí)間: 2025-3-25 12:24
Optimal String Edit Distance Based Test Suite Reduction for SDL Specificationsof Voung et al. and Feijs et al. on string edit distance based coverage metrics. The method reduces a set of test cases represented in the MSC (Message Sequence Chart) notation, while maintaining the highest possible distance between all pairs of traces defined by the given test set. The algorithm i作者: antipsychotic 時(shí)間: 2025-3-25 18:47
Early Schedulability Analysis with Timed Use Case Mapsevelopment life cycle. This would help reduce the cost of later redesign activities in case of unsatisfactory performance. This paper presents a novel approach to perform schedulability analysis at the requirement stage using Timed Use Case Maps (TUCM) language. The proposed approach relies on the c作者: Prostaglandins 時(shí)間: 2025-3-25 23:56
Extending the User Requirements Notation with Aspect-Oriented Conceptsmunication Union (ITU-T). URN is the first and currently only standard that supports both goal-oriented and scenario-based modeling for requirements engineering activities. The Aspect-oriented URN (AoURN) is a recent extension of URN that combines goals, scenarios, and aspects in one framework. AoUR作者: 靈敏 時(shí)間: 2025-3-26 01:57 作者: expansive 時(shí)間: 2025-3-26 05:51
Modelling a Debugger for an Imperative Voice Control Languageted on underlying platforms. The emergence of metamodel-based technologies for defining languages simplified the creation of various language tools, e.g., creating editors from notation descriptions became common practice. Another, relatively recent, example is the metamodel-based description of exe作者: 抓住他投降 時(shí)間: 2025-3-26 12:07
The ARC Programming Modele software applications to effectively utilize the parallelism on multicore processors. Computational entities in the ARC programming model are composed of role-based agents, exposing natural opportunities for inter-entity and intra-entity parallelism and facilitating collaboration-based designs. Th作者: Arthr- 時(shí)間: 2025-3-26 12:54
Automatic Generation of Compatible Interfaces from Partitioned UML Activitiesonsistently. Previous work has shown that compatible interfaces at each side of a channel are in general asymmetric: In cases where both communicating sides can take initiative and send, they have to be prepared for conflicts that need resolution. Such conflicts are often difficult to handle properl作者: thalamus 時(shí)間: 2025-3-26 18:13
The Challenges of Using SDL for the Development of Wireless Sensor Networkst alternatives to traditional networks. But the diversity of applications with typically narrow node resources and requirements of already existing information infrastructures sets hard constraints to WSN. The software development process becomes even more complicated when real-time constraints have作者: 填料 時(shí)間: 2025-3-26 22:30 作者: 泥沼 時(shí)間: 2025-3-27 01:33 作者: rheumatism 時(shí)間: 2025-3-27 08:24 作者: 時(shí)代錯(cuò)誤 時(shí)間: 2025-3-27 10:58
Automatic Generation of Compatible Interfaces from Partitioned UML Activitiesand exploring the visible behavior between them. The resulting interfaces are compatible by construction and allow other entities to interact consistently across them. The proposed method is implemented as part of our tool support.作者: 推遲 時(shí)間: 2025-3-27 16:41
The Challenges of Using SDL for the Development of Wireless Sensor NetworksS) and an Experiment Management System (EMS) complete the framework, which supports the modelling, simulation, installation and administration of different EEWS approaches in combination with a Geographic Information System (GIS).作者: 心胸開闊 時(shí)間: 2025-3-27 21:17 作者: Acquired 時(shí)間: 2025-3-28 02:00 作者: Hypomania 時(shí)間: 2025-3-28 03:44
ariation of the trace of solutions along space-like curves is controlled by the total variation of the initial data, and spreading of rarefaction waves affects total variation, as in the scalar case..The dissipative mechanisms encountered in the scalar case are work here at as well, and have similar作者: Peristalsis 時(shí)間: 2025-3-28 10:00 作者: Addictive 時(shí)間: 2025-3-28 11:51 作者: 公理 時(shí)間: 2025-3-28 15:18 作者: 奴才 時(shí)間: 2025-3-28 19:31
El Arbi Aboussoror,Ileana Ober,Michelle Sibillan are demonstrated through a 172?μW compressive sampling PPG acquisition ASIC fabricated in a 0.18?μm CMOS process. The ASIC achieves up to 30x reduction in LED driver power consumption while extracting heart rate with an accuracy conforming to ANSI-AAMI standards.作者: 無聊點(diǎn)好 時(shí)間: 2025-3-29 02:13 作者: Microgram 時(shí)間: 2025-3-29 07:01
Gábor Kovács,Gábor árpád Németh,Mahadevan Subramaniam,Zoltán Papn are demonstrated through a 172?μW compressive sampling PPG acquisition ASIC fabricated in a 0.18?μm CMOS process. The ASIC achieves up to 30x reduction in LED driver power consumption while extracting heart rate with an accuracy conforming to ANSI-AAMI standards.作者: nitroglycerin 時(shí)間: 2025-3-29 10:23 作者: FLAIL 時(shí)間: 2025-3-29 13:13 作者: SAGE 時(shí)間: 2025-3-29 18:08
Frank Alexander Kraemerave used around 100 numerical illustrations to provide a quantitative and qualitative understanding for readers. ..Another highlight of the book is use of international case-studies to provide key learnings in areas of project preparation and structuring for such hybrid PPP models. The risk allocati作者: Bravura 時(shí)間: 2025-3-29 23:26
Anas Showk,David Szczesny,Shadi Traboulsi,Irv Badr,Elizabeth Gonzalez,Attila Bilgicore specifically, the translation performance of the proposed methodology is evaluated against that of existing MT systems. The chapter summarises implementation decisions, using the Greek-to-English language pair as a test case. In addition, the detailed comparison of PRESEMT to other established M作者: maintenance 時(shí)間: 2025-3-30 03:34 作者: 隨意 時(shí)間: 2025-3-30 04:02 作者: Intractable 時(shí)間: 2025-3-30 08:43 作者: 夾克怕包裹 時(shí)間: 2025-3-30 15:56
Muhammad R. Abid,Daniel Amyot,Stéphane S. Somé,Gunter Mussbacherrstanding for readers. ..Another highlight of the book is use of international case-studies to provide key learnings in areas of project preparation and structuring for such hybrid PPP models. The risk allocati978-981-19-2021-9978-981-19-2019-6Series ISSN 2192-8096 Series E-ISSN 2192-810X 作者: 開始發(fā)作 時(shí)間: 2025-3-30 18:36 作者: 輕浮女 時(shí)間: 2025-3-30 22:39 作者: 雪白 時(shí)間: 2025-3-31 04:24
Klaus Ahrens,Ingmar Eveslage,Joachim Fischer,Frank Kühnlenz,Dorian Weberrstanding for readers. ..Another highlight of the book is use of international case-studies to provide key learnings in areas of project preparation and structuring for such hybrid PPP models. The risk allocati978-981-19-2021-9978-981-19-2019-6Series ISSN 2192-8096 Series E-ISSN 2192-810X 作者: 不適 時(shí)間: 2025-3-31 06:10
recision comparable to that for genuinely nonlinear scalar conservation laws, expounded in Chapter XI..This will be achieved by exploiting the presence of coordinate systems of Riemann invariants and the induced rich family of entropy-entropy flux pairs. The principal tools in the investigation will作者: Encumber 時(shí)間: 2025-3-31 10:59 作者: 多樣 時(shí)間: 2025-3-31 14:24 作者: 改進(jìn) 時(shí)間: 2025-3-31 18:14
Philipp Becker,Dennis Christmann,Reinhard Gotzheinants is typically sited in remote geographic locations in the power grid. Therefore, inevitably, the generated power from these sources has to be transmitted through long-distance transmission corridors. In many cases, they are being connected to main power grid at remote locations with a?low short-
